https://github.com/agda/agda
History
Tip revision: e723d8669329e6e42450954eaf63b39973f8bcfa authored by ulfn on 23 November 2011, 08:23:45 UTC
removed upper bound for cabal-version field (recommended by cabal)
Tip revision: e723d86
File Mode Size
benchmark
doc
examples
macros
mk
notes
src
test
.authorspellings -rw-r--r-- 461 bytes
.cvsignore -rw-r--r-- 165 bytes
.darcsignore -rw-r--r-- 1.6 KB
Agda.cabal -rw-r--r-- 14.4 KB
HACKING -rw-r--r-- 1.3 KB
LICENSE -rw-r--r-- 2.8 KB
Makefile -rw-r--r-- 7.6 KB
README -rw-r--r-- 10.8 KB
Setup.hs -rw-r--r-- 513 bytes
TODO -rw-r--r-- 8.1 KB
aclocal.m4 -rw-r--r-- 90 bytes
configure.ac -rw-r--r-- 1.3 KB
install-sh -rw-r--r-- 5.5 KB

README

back to top