Stars
2
stars
written in Haskell
Clear filter
Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial
Compositional type checking for a Hindley-Milner type system