Zekt/Generic-Scoped-Syntax
Re-formalisation, generalisation and translation of A Type- and Scope- Safe Universe of Syntaxes with Binding (https://arxiv.org/abs/2001.11001)
TeX
Re-formalisation, generalisation and translation of A Type- and Scope- Safe Universe of Syntaxes with Binding (https://arxiv.org/abs/2001.11001)
TeX