| File | Mode | Size |
|---|---|---|
| Base | ||
| Demos | ||
| Examples | ||
| Exercises | ||
| Overture | ||
| Setoid | ||
| Base.lagda | -rw-r--r-- | 1.1 KB |
| Demos.lagda | -rw-r--r-- | 384 bytes |
| Examples.lagda | -rw-r--r-- | 391 bytes |
| Exercises.lagda | -rw-r--r-- | 365 bytes |
| Overture.lagda | -rw-r--r-- | 662 bytes |
| Setoid.lagda | -rw-r--r-- | 922 bytes |
| agda-algebras-everything.lagda | -rw-r--r-- | 32.0 KB |
| agda-algebras.lagda | -rw-r--r-- | 6.6 KB |
