algorithm-w
OCaml
★ 11
updated 4y ago
An implementation of a Hindley-Milner type system with Algorithm W for inference in OCaml.
No plain-English explanation yet — one is being written right now. Check back in a minute.