Generic Syntax Save
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Project README
generic-syntax
A self-contained repository for the paper A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Typechecking
To check this development, you'll need:
- Agda 2.6.1.3
- Agda's Standard Library 1.5
Open Source Agenda is not affiliated with "Generic Syntax" Project. README Source: gallais/generic-syntax
Stars
67
Open Issues
1
Last Commit
2 years ago
Repository
License
Open Source Agenda Badge
