Sourcebot

/

File Tree

Loading...

Code navigation is not enabled for your plan.

Learn more

NixOS/nixpkgs

@HEAD

·

pkgs

development

compilers

idris2

build-idris.nix

default.nix

idris2-api.nix

idris2-lsp.nix

pack.nix