Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Box.agda | 2009-06-08 09:56 | 15K | ||
Chain.agda | 2009-06-08 09:56 | 875 | ||
Compose.agda | 2009-06-08 09:56 | 6.8K | ||
Equivalence.agda | 2009-06-08 09:56 | 449 | ||
Iterate.agda | 2009-06-08 09:56 | 1.4K | ||
ListProperties.agda | 2009-06-08 09:56 | 1.6K | ||
Lists.agda | 2009-06-08 09:56 | 3.5K | ||
MapType.agda | 2009-06-08 09:56 | 2.5K | ||
NatProperties.agda | 2009-06-08 09:56 | 850 | ||
Rewrite.agda | 2009-06-08 09:56 | 20K | ||
Simple.agda | 2009-06-08 09:56 | 2.7K | ||
Test.agda | 2009-06-08 09:56 | 5.0K | ||
Union.agda | 2009-06-08 09:56 | 5.0K | ||
_darcs/ | 2009-06-08 09:56 | - | ||