Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Core.agda | 2011-12-13 12:27 | 580 | ||
Decidable.agda | 2011-12-13 12:27 | 2.1K | ||
Negation.agda | 2011-12-13 12:27 | 6.6K | ||
Product.agda | 2011-12-13 12:27 | 606 | ||
Universe.agda | 2011-12-13 12:27 | 4.6K | ||
Sum.agda | 2011-12-13 12:27 | 839 | ||