Meta-programming utilities for Agda.
25
stars
69
commits
Agda
primary language
Sep 1, 2026
updated
README
agda-stdlib-meta: Meta-programming utilities for Agda 
Browse the Agda code in HTML here.
Ring solver (Tactic.Solver.Ring)
solve-≈ is a reflection-based solver for commutative-(semi)ring
equalities. See the ring solver
documentation.
Version compatibility
We mirror the version numbers of agda-stdlib.
| agda | agda-stdlib | agda-stdlib-classes | agda-stdlib-meta |
|---|---|---|---|
| v2.6.3 | v1.7.2 | v1.7.2 | v1.7.2 |
| v2.6.4 | v1.7.3 | v1.7.3 | v1.7.3 |
| v2.6.4 | v2.0 | v2.0 | v2.0 |
| v2.6.4 | v2.1 | v2.1 | v2.1 |
| v2.7.0 | v2.1.1 | v2.1.1 | v2.1.1 |
| v2.7.0.1 | v2.2 | v2.2 | v2.2 |
| v2.8.0 | v2.3 | v2.3 | v2.3 |
Minor revisions will append to these major versions (e.g. v1.7.3b or v1.7.3.10).
Contributors
Similar repos
Languages
Agda
100.0%
Meta-programming utilities for Agda.
25
stars
69
commits
Agda
primary language
Sep 1, 2026
updated
README
agda-stdlib-meta: Meta-programming utilities for Agda
Browse the Agda code in HTML here.
Ring solver (Tactic.Solver.Ring)
solve-≈ is a reflection-based solver for commutative-(semi)ring
equalities. See the ring solver
documentation.
Version compatibility
We mirror the version numbers of agda-stdlib.
| agda | agda-stdlib | agda-stdlib-classes | agda-stdlib-meta |
|---|---|---|---|
| v2.6.3 | v1.7.2 | v1.7.2 | v1.7.2 |
| v2.6.4 | v1.7.3 | v1.7.3 | v1.7.3 |
| v2.6.4 | v2.0 | v2.0 | v2.0 |
| v2.6.4 | v2.1 | v2.1 | v2.1 |
| v2.7.0 | v2.1.1 | v2.1.1 | v2.1.1 |
| v2.7.0.1 | v2.2 | v2.2 | v2.2 |
| v2.8.0 | v2.3 | v2.3 | v2.3 |
Minor revisions will append to these major versions (e.g. v1.7.3b or v1.7.3.10).
Similar repos
Contributors
Languages
Agda
100.0%