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.4 KB |
Agda.cabal | -rw-r--r-- | 13.3 KB |
HACKING | -rw-r--r-- | 1.3 KB |
LICENSE | -rw-r--r-- | 2.8 KB |
Makefile | -rw-r--r-- | 7.3 KB |
README | -rw-r--r-- | 10.9 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 |