Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Agda.Builtin.Bool.html | 2019-11-07 09:46 | 3.5K | ||
Agda.Builtin.Size.html | 2019-11-07 09:46 | 4.1K | ||
Agda.Primitive.html | 2019-11-07 09:46 | 4.1K | ||
Agda.css | 2019-11-07 09:46 | 1.5K | ||
InitialTAlgebra.html | 2019-11-17 15:24 | 108K | ||
Prelude.html | 2019-11-07 09:46 | 80K | ||
QuotientViaPrimTrustme%2BPrivate.html | 2019-11-17 15:24 | 88K | ||
code.zip | 2019-11-17 15:24 | 9.7K | ||