ryanorendorff/lc-2018-linear-types
Practical Introduction to Substructural Type Systems through Linear Haskell and Rust for LambdaConf 2018
Haskell
Practical Introduction to Substructural Type Systems through Linear Haskell and Rust for LambdaConf 2018
Haskell