mini-ml

Languages & compilers · 2022 · Personal

A lambda-calculus type checker and evaluator: Hindley-Milner type inference, unification and evaluation, written in F#.