Browse the Agda code in HTML here.
We mirror the version numbers of agda-stdlib.
| agda | agda-stdlib | agda-stdlib-classes | agda-relations |
|---|---|---|---|
| v2.8.0 | v2.3 | v2.3 | v2.3 |
Minor revisions will append to these major versions (e.g. v2.8.0b or v2.8.0.10).
omelkonian/agda-relations
Relational utilities for Agda:
README
Contributors
