.gitignore
|
update to 2.4.2.2
|
2015-04-03 13:25:00 +09:00 |
Agda.spec
|
move agda from ghc-Agda-devel to ghc-Agda
|
2015-04-17 13:32:33 +09:00 |
agda-mode-init.el
|
add agda-mode-init.el from ghc-Agda
|
2013-06-14 19:12:49 +09:00 |
sources
|
update to 2.4.2.2
|
2015-04-03 13:25:00 +09:00 |