on cb609ea help sign in
all commits
23860c9Reformat 2 lines.evancz c57c602Remove some unsafe printing.evancz 6cc617bAdd line and column number for type errors and "non-exhaustive" errors.evancz 95364f3Refactor lots of code in the type-checker. Also includes some efficiency improvements to make unification a bit faster.evancz