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

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
Algebra		Algebra
Class		Class
Lenses		Lenses
Reflection		Reflection
Tactic		Tactic
Tactics		Tactics
.gitignore		.gitignore
Classes.agda		Classes.agda
Lenses.agda		Lenses.agda
Main.agda		Main.agda
Meta.agda		Meta.agda
Prelude.agda		Prelude.agda
README.md		README.md
Tactics.agda		Tactics.agda
stdlib-meta.agda-lib		stdlib-meta.agda-lib

Repository files navigation

stdlib-meta: Meta-programming utilities

Browse the Agda code in HTML here.

About

Meta-programming utilities for Agda.

omelkonian.github.io/stdlib-meta

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages