GitHub - 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)

Name		Name	Last commit message	Last commit date
Latest commit History 29 Commits
src		src
tex		tex
ScopedSyntax.agda-lib		ScopedSyntax.agda-lib

About

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

No releases published