A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Primary LanguageAgdaGNU General Public License v3.0GPL-3.0