A self-contained repository for the paper A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
To check this development, you'll need:
- Agda 2.6.1.3
- Agda's Standard Library 1.5
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
A self-contained repository for the paper A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
To check this development, you'll need:
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
https://gallais.github.io/generic-syntax/Generic.html
GNU General Public License v3.0