darcsden
::
abel
->
AgdaPrelude
-> browse
explore
log in
register
fork
changes
patches
issues
A prelude for Agda based on the Standard Library.
root
README
ffi
src
.boring
AllNonAsciiChars.hs
GNUmakefile
GenerateEverything.hs
Header
LICENCE
README.agda
README.txt
Setup.hs
lib.cabal
release-notes