Hindley-Milner in Clojure | LispCast
lispcast.com/Hindley-Milner-in-Clojure
I wrote a lambda-calculus interpreter and an implementation of Hindley-Milner to type check it.
I wrote a lambda-calculus interpreter and an implementation of Hindley-Milner to type check it.
Comments (0)
Sign in to post comments.