Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Sum.agda | 2011-12-13 12:27 | 27K | ||
On.agda | 2011-12-13 12:27 | 8.0K | ||
Flip.agda | 2011-12-13 12:27 | 7.6K | ||
HeterogeneousEquality.agda | 2011-12-13 12:27 | 6.7K | ||
PropositionalEquality.agda | 2011-12-13 12:27 | 6.4K | ||
Core.agda | 2011-12-13 12:27 | 5.9K | ||
NonStrictToStrict.agda | 2011-12-13 12:27 | 4.0K | ||
Consequences.agda | 2011-12-13 12:27 | 3.9K | ||
Reflection.agda | 2011-12-13 12:27 | 3.8K | ||
StrictToNonStrict.agda | 2011-12-13 12:27 | 3.5K | ||
OrderMorphism.agda | 2011-12-13 12:27 | 1.6K | ||
PreorderReasoning.agda | 2011-12-13 12:27 | 1.6K | ||
InducedPreorders.agda | 2011-12-13 12:27 | 1.5K | ||
EqReasoning.agda | 2011-12-13 12:27 | 1.1K | ||
Indexed.agda | 2011-12-13 12:27 | 1.0K | ||
Simple.agda | 2011-12-13 12:27 | 840 | ||
StrictPartialOrderReasoning.agda | 2011-12-13 12:27 | 588 | ||
PartialOrderReasoning.agda | 2011-12-13 12:27 | 511 | ||
Vec/ | 2011-12-13 12:27 | - | ||
Sigma/ | 2011-12-13 12:27 | - | ||
Props/ | 2011-12-13 12:27 | - | ||
PropositionalEquality/ | 2011-12-13 12:27 | - | ||
Product/ | 2011-12-13 12:27 | - | ||
List/ | 2011-12-13 12:27 | - | ||
Indexed/ | 2011-12-13 12:27 | - | ||
HeterogeneousEquality/ | 2011-12-13 12:27 | - | ||
Consequences/ | 2011-12-13 12:27 | - | ||