A personal exercise to learn how a type inference works in untyped lambda calculus. This project is written in Purescript and littered with my personal notes as comments. Feel free to give feedback.
- Write the parser
- Update the test suit with syntaxes rather than ASTs