Name
Last commit
Last update
CHANGELOG Loading commit data...
README Loading commit data...
debian Loading commit data...
notes Loading commit data...
src Loading commit data...
travis Loading commit data...
.boring Loading commit data...
.gitignore Loading commit data...
.mailmap Loading commit data...
.travis.yml Loading commit data...
AllNonAsciiChars.hs Loading commit data...
CHANGELOG.md Loading commit data...
GNUmakefile Loading commit data...
GenerateEverything.hs Loading commit data...
HACKING.md Loading commit data...
Header Loading commit data...
LICENCE Loading commit data...
README.agda Loading commit data...
README.md Loading commit data...
Setup.hs Loading commit data...
lib.cabal Loading commit data...
publish-listings.sh Loading commit data...
standard-library.agda-lib Loading commit data...