about summary refs log tree commit diff
path: root/pkgs/development/compilers/idris2/idris2.nix
AgeCommit message (Expand)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
2024-03-19idris2: prefer chez 10 over chez-racketMathew Polzin1-4/+6
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2024-01-15idris2: add mattpolzin as a maintainerMathew Polzin1-1/+1
2024-01-15idris2: add api package and buildIdris helperMathew Polzin1-0/+97