.authorspellings
.cvsignore
.darcsignore
Agda.cabal
HACKING
LICENSE
Makefile
README
Setup.hs
TODO
aclocal.m4
configure.ac
install-sh
benchmark
doc
examples
macros
mk
notes
src
test