aboutsummaryrefslogtreecommitdiff
path: root/guix/build-system/agda.scm
Commit message (Expand)AuthorAge
* build-system: New agda-build-system.Josselin Poiret2023-06-04