gallais / generic-syntaxView on GitHub
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
77Mar 5, 2022Updated 3 years ago

Alternatives and similar repositories for generic-syntax

Users that are interested in generic-syntax are comparing it to the libraries listed below

Sorting:

Are these results useful?