pnlph / generic-syntax Goto Github PK
View Code? Open in Web Editor NEWThis project forked from gallais/generic-syntax
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Home Page: https://gallais.github.io/generic-syntax/Generic.html
License: GNU General Public License v3.0