|
.gitignore
|
update to 2.3.2.2
|
2013-10-31 18:29:45 +09:00 |
|
agda-mode-init.el
|
add agda-mode-init.el from ghc-Agda
|
2013-06-14 19:12:49 +09:00 |
|
Agda.spec
|
bring back emacs(bin) BR
|
2014-08-28 16:21:49 +09:00 |
|
sources
|
update to 2.3.2.2
|
2013-10-31 18:29:45 +09:00 |
