Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
_darcs/ | 2009-01-06 20:15 | - | ||
VirtualMachine.agda | 2009-01-06 20:15 | 4.0K | ||
Totality.agda | 2009-01-06 20:15 | 7.4K | ||
Syntax.agda | 2009-01-06 20:15 | 1.2K | ||
StatusLemmas.agda | 2009-01-06 20:15 | 4.8K | ||
Semantics/ | 2009-01-06 20:15 | - | ||
Semantics.agda | 2009-01-06 20:15 | 580 | ||
Infinite.agda | 2009-01-06 20:15 | 13K | ||
Everything.agda | 2008-11-04 20:02 | 1.6K | ||
Equivalence.agda | 2009-01-06 20:15 | 2.8K | ||
CompilerCorrectness...> | 2009-01-06 20:15 | 2.4K | ||
Bar.agda | 2009-01-06 20:15 | 6.2K | ||
AlgebraicProperties...> | 2009-01-06 20:15 | 11K | ||