Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added reference
Anonymouse
cross-linked the article with its subject simple type theory
added pointer to:
(here and at second-order algebraic theory)
Due to the note on p. 5 I am taking the liberty of cross-linking with quiver (editor) and making “varkor” redirect to here, thus fixing broken links in the edit histories.
1 to 5 of 5