jmchapman / generic-syntax

A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

https://gallais.github.io/generic-syntax/Generic.html

Geek Repo

Github PK Tool