Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Adjoint.agda | 2009-06-08 09:56 | 1.0K | ||
Base.agda | 2009-06-08 09:56 | 133 | ||
Category.agda | 2009-06-08 09:56 | 4.0K | ||
Dual.agda | 2009-06-08 09:56 | 972 | ||
Example.agda | 2009-06-08 09:56 | 2.4K | ||
Functor.agda | 2009-06-08 09:56 | 2.7K | ||
Iso.agda | 2009-06-08 09:56 | 219 | ||
Product.agda | 2009-06-08 09:56 | 900 | ||
Terminal.agda | 2009-06-08 09:56 | 953 | ||
Unique.agda | 2009-06-08 09:56 | 1.1K | ||