GitHub - jpaykin/LNLHaskell: Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic

Linear types for Haskell in the style of Linear/Non-Linear logic. This iteration of the code accompanies a paper presented at the Haskell Symposium 2017: "The Linearity Monad" This project uses stack to provide a reproducible build system. To build the project, make sure to install stack, and then run stack setup to install the correct version of ghc and necessary packages in isolation. Next, run

[igrep]

“Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic”