lambduli / frea Star 17 Code Issues Pull requests A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types. programming-language repl inference lazy-evaluation functional-language hindley-milner type-inference higher-kinded-types damas-hindley-milner Updated Sep 21, 2021 Haskell
ltics / DHM Star 0 Code Issues Pull requests a implementation of DHM, support extra types and expressions. clojure type-system damas-hindley-milner Updated May 25, 2016 Clojure