Alex ter Weele
|
1237653aa5
|
gnu: Add emacs-agda2-mode
* gnu/packages/agda.scm (emacs-agda2-mode): New variable.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
|
2018-07-29 23:33:40 +02:00 |
|
Alex ter Weele
|
253340dcc8
|
gnu: agda: Compile .agda files.
* gnu/packages/agda.scm: (agda)[arguments]: Compile .agda files.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
|
2018-07-29 23:32:01 +02:00 |
|
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 |