gallais/generic-syntax
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
AgdaGPL-3.0
Issues
- 1
Unsound use of Sized types in Environment module
#10 opened by cmcl - 1
JFP version of this paper
#7 opened by shriram
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
AgdaGPL-3.0