Little script written by @arisPapadop and @ramonfmir to implement the type inference algorithm shown in the Type Systems for Programming Languages 3rd year course at Imperial College.
We have also used it to play with Haskell, that is why the code is quite dodgy.