/hindley_milner

Demo Hindley-Milner type solver

Primary LanguageRust

Hindley-Milner Demo

This is demo implementation of the Hindley-Milner type solving algorithm.

screenshot