Typing the linear pi calculus in Agda
Primary LanguageTeXMIT LicenseMIT
No issues in this repository yet.