Compact Hindley-Milner Type Inference with Generics moea.github.io/types Discussions: discu.eu/q/https://moea.github.io/types #clojure #programming