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