Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic
Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause