on d15e080 help sign in
all commits
95364f3Refactor lots of code in the type-checker. Also includes some efficiency improvements to make unification a bit faster.evancz