.gitignore
|
update to 2.6.1
|
2020-06-07 23:43:51 +08:00 |
Agda-HashMap.patch
|
add patch for HashMap
|
2016-10-06 14:30:37 +09:00 |
Agda.spec
|
update geniplate-mirror to 0.7.7
|
2021-08-04 22:29:35 +08:00 |
agda-mode-init.el
|
add agda-mode-init.el from ghc-Agda
|
2013-06-14 19:12:49 +09:00 |
sources
|
remove uri-encode from sources
|
2020-09-03 15:50:43 +08:00 |