A Compact Hindley-Milner/Algorithm W Implementation in Clojure
moea.github.io