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