/total-typing

Formalization of the Hazel 3 type system, loosely as-implemented

Primary LanguageTeX

Stargazers