Commit Graph

1 Commits

Author SHA1 Message Date
Alex ter Weele f61682e7ea
gnu: Add agda.
* gnu/packages/agda.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add adga.scm.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2018-02-26 01:42:35 +01:00