Browse the Agda code in HTML here.
We mirror the version numbers of agda-stdlib.
agda | agda-stdlib | agda-stdlib-classes | agda-stdlib-meta | agda-lenses |
---|---|---|---|---|
v2.6.4 | v2.0 | v2.0 | v2.0 | v2.0 |
Minor revisions will append to these major versions (e.g. v2.0b
or v2.0-10
).