https://github.com/agda/agda-stdlib-meta
Meta-programming utilities for Agda.
https://github.com/agda/agda-stdlib-meta
Last synced: 5 months ago
JSON representation
Meta-programming utilities for Agda.
- Host: GitHub
- URL: https://github.com/agda/agda-stdlib-meta
- Owner: agda
- License: mit
- Created: 2022-07-20T16:31:25.000Z (almost 4 years ago)
- Default Branch: master
- Last Pushed: 2025-04-14T13:29:20.000Z (about 1 year ago)
- Last Synced: 2025-05-12T14:33:14.149Z (about 1 year ago)
- Language: Agda
- Homepage: https://agda.github.io/agda-stdlib-meta/
- Size: 34.1 MB
- Stars: 19
- Watchers: 5
- Forks: 3
- Open Issues: 11
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
## agda-stdlib-meta: Meta-programming utilities for Agda [](https://github.com/agda/agda-stdlib-meta/actions)
Browse the Agda code in HTML [here](https://agda.github.io/agda-stdlib-meta).
## Version compatibility
We mirror the version numbers of [agda-stdlib](https://github.com/agda/agda-stdlib).
| **agda** | **agda-stdlib** | **agda-stdlib-classes** | **agda-stdlib-meta** |
|----------|-----------------|-------------------------|-----------------|
| [v2.6.3](https://github.com/agda/agda/releases/tag/v2.6.3) | [v1.7.2](https://github.com/agda/agda-stdlib/releases/tag/v1.7.2) | [v1.7.2](https://github.com/agda/agda-stdlib-classes/releases/tag/v1.7.2) | [v1.7.2](https://github.com/agda/agda-stdlib-meta/releases/tag/v1.7.2) |
| [v2.6.4](https://github.com/agda/agda/releases/tag/v2.6.4) | [v1.7.3](https://github.com/agda/agda-stdlib/releases/tag/v1.7.3) | [v1.7.3](https://github.com/agda/agda-stdlib-classes/releases/tag/v1.7.3) | [v1.7.3](https://github.com/agda/agda-stdlib-meta/releases/tag/v1.7.3) |
| [v2.6.4](https://github.com/agda/agda/releases/tag/v2.6.4) | [v2.0](https://github.com/agda/agda-stdlib/releases/tag/v2.0) | [v2.0](https://github.com/agda/agda-stdlib-classes/releases/tag/v2.0) | [v2.0](https://github.com/agda/agda-stdlib-meta/releases/tag/v2.0) |
| [v2.6.4](https://github.com/agda/agda/releases/tag/v2.6.4) | [v2.1](https://github.com/agda/agda-stdlib/releases/tag/v2.1) | [v2.1](https://github.com/agda/agda-stdlib-classes/releases/tag/v2.1) | [v2.1](https://github.com/agda/agda-stdlib-meta/releases/tag/v2.1) |
| [v2.7.0](https://github.com/agda/agda/releases/tag/v2.7.0) | [v2.1.1](https://github.com/agda/agda-stdlib/releases/tag/v2.0) | [v2.1.1](https://github.com/agda/agda-stdlib-classes/releases/tag/v2.1.1) | [v2.1.1](https://github.com/agda/agda-stdlib-meta/releases/tag/v2.1.1) |
| [v2.7.0.1](https://github.com/agda/agda/releases/tag/v2.7.0.1) | [v2.2](https://github.com/agda/agda-stdlib/releases/tag/v2.2) | [v2.2](https://github.com/agda/agda-stdlib-classes/releases/tag/v2.2) | [v2.2](https://github.com/agda/agda-stdlib-meta/releases/tag/v2.2) |
| [v2.8.0](https://github.com/agda/agda/releases/tag/v2.8.0) | [v2.3](https://github.com/agda/agda-stdlib/releases/tag/v2.3) | [v2.3](https://github.com/agda/agda-stdlib-classes/releases/tag/v2.3) | [v2.3](https://github.com/agda/agda-stdlib-meta/releases/tag/v2.3) |
Minor revisions will append to these major versions (e.g. `v1.7.3b` or `v1.7.3.10`).