I wanted to know how basic typechecking worked, so I implemented Algorithm W or at least enough of it to pass incredibly basic tests. Done at max speed with no concern for quality; not a demo or portfolio piece!
bbqbaron/fluffy-fortnight
Hack together Algorithm W to learn some Haskell and Algorithm W itself
HaskellBSD-3-Clause