jespercockx / scopeLinks
An agda2hs-compatible library for well-scoped syntax
☆11Updated 2 weeks ago
Alternatives and similar repositories for scope
Users that are interested in scope are comparing it to the libraries listed below
Sorting:
- antifunext☆33Updated 11 months ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization