Type inference from scratch for f(by)2019

Running the type inferencer

stack build && stack exec fby19

Then just start inserting expressions

The slides are in talk.pdf

Algorithm W Step by Step (Martin Grabmueller) - http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65.7733&rep=rep1&type=pdf
Types and Programming Languages - Benjamin C. Pierce
The original paper for the system described here (read this after you've understood the implementation): Principal type-schemes for functional programs - Damas & Milner https://web.cs.wpi.edu/~cs4536/c12/milner-damas_principal_types.pdf