David Abdurachmanov
adb72f2d96
Signed-off-by: David Abdurachmanov <davidlt@rivosinc.com> |
||
---|---|---|
.gitignore | ||
Agda-2.6.2.1.cabal | ||
Agda-2.6.2.2.cabal | ||
Agda-HashMap.patch | ||
Agda.spec | ||
agda-mode-init.el | ||
sources |