Lambda calculus / type inferencer experiments - View it on GitHub