Issues
- 0
This doesn't implement Algorithm W
#7 opened by jdh30 - 0
- 0
Type inference error on a typable expression
#5 opened by BookOwl - 0
Let Polymorphism
#4 opened by prakhar1989 - 0
Unification algorithm
#3 opened by prakhar1989 - 1
Add testcases for function application
#1 opened by prakhar1989 - 0