|
.gitignore
|
update vector-hashtables to 0.1.2.0
|
2024-07-21 14:59:31 +08:00 |
|
Agda-2.6.2.1.cabal
|
update to 2.6.2.1
|
2022-03-07 13:13:30 +08:00 |
|
Agda-2.6.3.cabal
|
update to 2.6.3
|
2023-07-29 23:13:00 +08: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
|
description: do not downcase "It" after colon
|
2024-07-21 18:48:15 +08:00 |
|
sources
|
update vector-hashtables to 0.1.2.0
|
2024-07-21 14:59:31 +08:00 |
