- Install stack
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