We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Re-formalisation, generalisation and translation of A Type- and Scope- Safe Universe of Syntaxes with Binding (https://arxiv.org/abs/2001.11001)
There was an error while loading. Please reload this page.