Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Zipper.agda | 2009-06-08 09:56 | 370 | ||
Derivative.agda | 2009-06-08 09:56 | 609 | ||
Equality.agda | 2009-06-08 09:56 | 847 | ||
Clowns.agda | 2009-06-08 09:56 | 1.0K | ||
Functor.agda | 2009-06-08 09:56 | 1.3K | ||
Sets.agda | 2009-06-08 09:56 | 1.5K | ||
Isomorphism.agda | 2009-06-08 09:56 | 1.6K | ||
ChainRule.agda | 2009-06-08 09:56 | 3.1K | ||
Dissect.agda | 2009-06-08 09:56 | 3.7K | ||