GitHub - agda/agda-stdlib-meta: Meta-programming utilities for Agda.

6 Branches 7 Tags

Name		Name	Last commit message	Last commit date
Latest commit carlostome and omelkonian Import J from Tactic May 13, 2025 57a5ae8 · May 13, 2025 History 55 Commits
.github/workflows		.github/workflows	Bump to agda-2.7.0.1/stdlib-2.2	Mar 7, 2025
Algebra		Algebra	Changes needed for ledger spec	Nov 8, 2023
Class		Class	Tactic: new inline macro	Mar 6, 2025
Meta		Meta	Tactic: new inline macro	Mar 6, 2025
Reflection		Reflection	Tactic: new inline macro	Mar 6, 2025
Tactic		Tactic	Fix broken import in Tactic.J	May 13, 2025
.gitignore		.gitignore	Add some further useful definitions and add some options	Jul 21, 2022
LICENCE		LICENCE	Add MIT licence	Mar 26, 2024
README.md		README.md	Bump to agda-2.7.0.1/stdlib-2.2	Mar 7, 2025
Tactic.agda		Tactic.agda	Import J from Tactic	May 13, 2025
agda-stdlib-meta.agda-lib		agda-stdlib-meta.agda-lib	Bump to agda-2.7.0.1/stdlib-2.2	Mar 7, 2025
standard-library-meta.agda		standard-library-meta.agda	Tactic: new inline macro	Mar 6, 2025

Repository files navigation

agda-stdlib-meta: Meta-programming utilities for Agda

Browse the Agda code in HTML here.

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

Minor revisions will append to these major versions (e.g. v1.7.3b or v1.7.3.10).