Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Category.agda | 2009-06-08 09:56 | 1.5K | ||
Functor.agda | 2009-06-08 09:56 | 665 | ||
Pullback.agda | 2009-06-08 09:56 | 1.0K | ||
Setoid.agda | 2009-06-08 09:56 | 2.4K | ||
Slice.agda | 2009-06-08 09:56 | 2.6K | ||
Unique.agda | 2009-06-08 09:56 | 1.1K | ||
lib/ | 2009-06-08 09:56 | - | ||