/linlam

a library for experimental linear lambda calculus

Primary LanguageHaskellMIT LicenseMIT

Stargazers