This project implements a basic version of Hindley–Milner (HM) type system's algorithm W, which performs type inference of variables based on their usage.

The programming language used here is a expression-based functional programming language, which is a paradigm that the HM algorithm works best with.

Basic syntax:

let add = (x, y) = x + y in
let add_one = (x) = add(x, 1) in
add_one(1)