.gitignore
|
update gitrev and geniplate-mirror
|
2017-11-10 16:57:10 +09:00 |
Agda-HashMap.patch
|
add patch for HashMap
|
2016-10-06 14:30:37 +09:00 |
agda-mode-init.el
|
add agda-mode-init.el from ghc-Agda
|
2013-06-14 19:12:49 +09:00 |
Agda.spec
|
update to 2.5.3
|
2018-01-02 18:54:29 +08:00 |
sources
|
add uri-encode source
|
2018-01-12 13:45:23 +09:00 |