generic-syntax
generic-syntax copied to clipboard
gallais
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Results
1
generic-syntax issues
Sort by
recently updated
recently updated
newest added
Hi all, I am looking to port the development to Agda v2.6.2 and standard library version 1.7. However, I encountered a type checking failure in the `Data/Environment.agda` module concerning the...
