![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Adjunction.hi | 2008-04-06 09:24 | 3.1K | |
| Adjunction.o | 2008-04-06 09:24 | 5.9K | |
| Algebra.hi | 2008-04-07 02:32 | 4.3K | |
| Algebra.o | 2008-04-07 02:32 | 4.0K | |
| Applicative.hi | 2008-04-06 09:36 | 2.9K | |
| Applicative.o | 2008-04-06 09:36 | 5.8K | |
| Composition.hi | 2008-04-06 09:24 | 1.6K | |
| Composition.o | 2008-04-06 09:24 | 4.9K | |
| Full.hi | 2008-04-06 09:24 | 1.3K | |
| Full.o | 2008-04-06 09:24 | 3.0K | |
| Identity.hi | 2008-04-07 02:32 | 5.2K | |
| Identity.o | 2008-04-07 02:32 | 6.0K | |
| Instances.hi | 2008-04-06 09:36 | 15K | |
| Instances.o | 2008-04-06 09:36 | 19K | |
| Native.hi | 2008-04-07 02:32 | 3.9K | |
| Native.o | 2008-04-07 02:32 | 4.0K | |
| Pointed.hi | 2008-04-06 09:24 | 616 | |
| Pointed.o | 2008-04-06 09:24 | 3.5K | |
| Representable.hi | 2008-04-07 03:04 | 958 | |
| Representable.o | 2008-04-07 03:04 | 2.9K | |