ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-11-15 11:25:22 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions
35030 commits 1 branch 0 tags 448 MiB
Commit graph

3 commits

Author SHA1 Message Date
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