| Age | Commit message (Expand) | Author |
|---|
| 2018-07-29 | gnu: Add emacs-agda2-mode...* gnu/packages/agda.scm (emacs-agda2-mode): New variable.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
| Alex ter Weele |
| 2018-07-29 | gnu: agda: Compile .agda files....* gnu/packages/agda.scm: (agda)[arguments]: Compile .agda files.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
| Alex ter Weele |
| 2018-02-26 | 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>
| Alex ter Weele |
