Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Universe.agda | 2011-09-24 20:24 | 4.6K | ||
Sum.agda | 2013-02-28 13:21 | 868 | ||
Product.agda | 2011-09-24 20:24 | 606 | ||
Negation.agda | 2012-11-28 23:08 | 6.6K | ||
Implication.agda | 2012-12-21 08:13 | 618 | ||
Decidable.agda | 2013-04-22 18:29 | 3.2K | ||
Core.agda | 2011-09-24 20:24 | 580 | ||