about summary refs log tree commit diff
path: root/pkgs/development/compilers/idris2
ModeNameSize
-rw-r--r--default.nix3488log plain blame
-rw-r--r--tests.nix1739log plain blame