Hindley–Milner type system

ID: hindley-milner-type-system

New to topics? Read the docs here!