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/outdated-and-incorrect/univ/
.cvsignore
Base.agda
Example.agda
Main.agda
Nat.agda
bugs-in-paper
cwf.agda
help.agda
proofs.agda
tmp.agda
univ.agda