summaryrefslogtreecommitdiff
path: root/guix/build-system/agda.scm
AgeCommit message (Expand)Author
2023-10-18build-systems: gnu: Export %default-gnu-imported-modules and %default-gnu-mod...Maxim Cournoyer
2023-06-04build-system: New agda-build-system.Josselin Poiret