| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | build-system: New agda-build-system. | Josselin Poiret | 2023-06-04 |
| * guix/build-system/agda.scm: New file. * guix/build/agda-build-system.scm: New file. * Makefile.am (MODULES): Register them. * doc/guix.texi (Build Systems): Add documentation for agda-build-system. | |||