Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Consequences.agda | 2013-03-22 22:34 | 3.9K | ||
Consequences/ | 2013-03-22 22:34 | - | ||
Core.agda | 2011-09-24 20:24 | 5.9K | ||
EqReasoning.agda | 2012-11-28 23:08 | 1.1K | ||
Flip.agda | 2011-09-24 20:24 | 7.6K | ||
HeterogeneousEqualit..> | 2013-08-23 10:40 | 6.8K | ||
HeterogeneousEquality/ | 2013-08-23 10:40 | - | ||
Indexed.agda | 2011-09-24 20:24 | 1.0K | ||
Indexed/ | 2011-09-24 20:24 | - | ||
InducedPreorders.agda | 2011-09-24 20:24 | 1.5K | ||
List/ | 2013-04-22 18:29 | - | ||
NonStrictToStrict.agda | 2011-09-24 20:24 | 4.0K | ||
On.agda | 2012-11-28 23:08 | 8.0K | ||
OrderMorphism.agda | 2011-09-24 20:24 | 1.6K | ||
PartialOrderReasonin..> | 2011-09-24 20:24 | 511 | ||
PreorderReasoning.agda | 2012-11-28 23:08 | 1.7K | ||
Product/ | 2013-04-22 18:29 | - | ||
PropositionalEqualit..> | 2013-03-22 22:34 | 6.3K | ||
PropositionalEquality/ | 2011-12-09 17:47 | - | ||
Props/ | 2011-09-24 20:24 | - | ||
Reflection.agda | 2011-09-24 20:24 | 3.8K | ||
Sigma/ | 2012-11-28 23:08 | - | ||
Simple.agda | 2011-09-24 20:24 | 840 | ||
StrictPartialOrderRe..> | 2011-09-24 20:24 | 588 | ||
StrictToNonStrict.agda | 2011-09-24 20:24 | 3.5K | ||
Sum.agda | 2013-04-22 18:29 | 27K | ||
Vec/ | 2012-05-08 15:59 | - | ||