register
log in
hub.darcs.net
::
gylterud
->
agda-premises
->
files
An Agda library containing a simple foundation for works in intensional type theory
root
Premises
mkfile
files
changes
issues (0)
fork
download .zip
darcs get url