An agda2hs-compatible library for well-scoped syntax
Primary LanguageAgdaThe UnlicenseUnlicense
Scope is a agda2hs-compatible Agda library for representing well-scoped syntax.
agda2hs