register
log in
hub.darcs.net
::
byorgey
->
equality
->
files
Fork of Nils Danielsson's "equality" repo
root
/
README
Bag-equivalence.agda
Isomorphism-is-equality.agda
files
changes
fork
directory changes
download .zip
darcs get url