/agda-soas

Agda formalisation of second-order abstract syntax

Primary LanguageAgdaMIT LicenseMIT

Watchers