Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Base.agda | 2009-06-08 09:56 | 595 | ||
Example.agda | 2009-06-08 09:56 | 478 | ||
Main.agda | 2009-06-08 09:56 | 70 | ||
Nat.agda | 2009-06-08 09:56 | 644 | ||
bugs-in-paper | 2009-06-08 09:56 | 52 | ||
cwf.agda | 2009-06-08 09:56 | 8.6K | ||
help.agda | 2009-06-08 09:56 | 1.8K | ||
proofs.agda | 2009-06-08 09:56 | 4.7K | ||
tmp.agda | 2009-06-08 09:56 | 634 | ||
univ.agda | 2009-06-08 09:56 | 14K | ||