/lc-2018-linear-types

Practical Introduction to Substructural Type Systems through Linear Haskell and Rust for LambdaConf 2018

Primary LanguageHaskell

Stargazers