| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| Coequalize.cgl | 2021-07-14 11:04 | 1.9K | ||
| Coequalize2.cgl | 2021-07-14 11:04 | 2.3K | ||
| Cospan.cgl | 2021-07-14 11:04 | 1.3K | ||
| Csquare.cgl | 2021-07-14 11:04 | 2.5K | ||
| Cube.cgl | 2021-07-14 11:04 | 4.3K | ||
| Cuber.cgl | 2021-07-14 11:04 | 5.1K | ||
| Del1.cgl | 2021-07-14 11:04 | 951 | ||
| Del2.cgl | 2021-07-14 11:04 | 1.9K | ||
| Del3.cgl | 2021-07-14 11:04 | 3.0K | ||
| Discfour.cgl | 2021-07-14 11:04 | 1.6K | ||
| Discone.cgl | 2021-07-14 11:04 | 458 | ||
| Discthree.cgl | 2021-07-14 11:04 | 1.3K | ||
| Disctwo.cgl | 2021-07-14 11:04 | 913 | ||
| Empty.cgl | 2021-07-14 11:04 | 98 | ||
| Epi.cgl | 2021-07-14 11:04 | 1.4K | ||
| Equalize.cgl | 2021-07-14 11:04 | 1.9K | ||
| Equalize2.cgl | 2021-07-14 11:04 | 2.4K | ||
| Frmon1.cgl | 2021-07-14 11:04 | 557 | ||
| Frmon2.cgl | 2021-07-14 11:04 | 571 | ||
| Mono.cgl | 2021-07-14 11:04 | 1.4K | ||
| Monoid.cgl | 2021-07-14 11:04 | 2.3K | ||
| One.cgl | 2021-07-14 11:04 | 503 | ||
| Ord2.cgl | 2021-07-14 11:04 | 951 | ||
| Ord3.cgl | 2021-07-14 11:04 | 1.8K | ||
| Parpair.cgl | 2021-07-14 11:04 | 945 | ||
| Reset.cgl | 2021-07-14 11:04 | 1.4K | ||
| Set2.cgl | 2021-07-14 11:04 | 2.0K | ||
| Set3.cgl | 2021-07-14 11:04 | 4.2K | ||
| Set3sp.cgl | 2021-07-14 11:04 | 2.6K | ||
| Snake.cgl | 2021-07-14 11:04 | 4.7K | ||
| Span.cgl | 2021-07-14 11:04 | 1.4K | ||
| Sum.cgl | 2021-07-14 11:04 | 2.2K | ||
| Tetra.cgl | 2021-07-14 11:04 | 2.2K | ||
| TwoProducts.cgl | 2021-07-14 11:04 | 3.2K | ||
| a product test.cgl | 2021-07-14 11:04 | 1.0K | ||
| pullback.cgl | 2021-07-14 11:04 | 3.0K | ||
| pullback test.cgl | 2021-07-14 11:04 | 3.7K | ||