about summary refs log tree commit diff
path: root/pkgs/development/compilers/idris2
ModeNameSize
-rw-r--r--build-idris.nix2745log plain blame
-rw-r--r--default.nix439log plain blame
-rw-r--r--idris2-lsp.nix1603log plain blame
-rw-r--r--idris2.nix3252log plain blame
-rw-r--r--tests.nix1770log plain blame