Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Bag.agda | 2009-06-08 09:56 | 9.3K | ||
Datoid.agda | 2009-06-08 09:56 | 1.3K | ||
Eq.agda | 2009-06-08 09:56 | 571 | ||
Equiv.agda | 2009-06-08 09:56 | 4.2K | ||
List.agda | 2009-06-08 09:56 | 2.9K | ||
Nat.agda | 2009-06-08 09:56 | 1.4K | ||
ParserC.agda | 2009-06-08 09:56 | 2.5K | ||
Pos.agda | 2009-06-08 09:56 | 1.0K | ||
Prelude.agda | 2009-06-08 09:56 | 2.1K | ||