/lin

a linear lambda calculus

Primary LanguageStandard ML

No issues in this repository yet.