/scope

An agda2hs-compatible library for well-scoped syntax

Primary LanguageAgdaThe UnlicenseUnlicense

Issues