Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for Agda-2.3.2.2 source tarball
Agda-2.3.2.2/examples/AIM5/
Hedberg/
SET.agda
PolyDep/
.cvsignore
EqBase.agda
Main.agda
PolyDepPrelude.agda
Reflexivity.agda
TYPE.agda
Tools.agda
log.txt
Homogenous/
.cvsignore
Base.agda
Equality.agda
Nat.agda
Reflexivity.agda
yoshiki/
.cvsignore
SET.agda