|
.gitignore
|
update to 2.4.2.5
|
2016-10-06 11:01:47 +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
|
use cabal-tweak-dep-ver to bump cpphs
|
2017-01-28 22:07:09 +01:00 |
|
sources
|
update to 2.4.2.5
|
2016-10-06 11:01:47 +09:00 |
