about summary refs log tree commit diff
path: root/pkgs/development/compilers/idris2/tests.nix
AgeCommit message (Expand)AuthorFilesLines
2022-10-10treewide: optional -> optionals where the argument is a listArtturin1-1/+1
2022-01-10Idris2: Refactor default.nixwchresta1-0/+1
2021-12-23idris2: add package testswchresta1-0/+67