![]() | 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 | |