on 68a5636 help sign in
all commits
f76a22eRedo type parser. Correct let-polymorphism in unification.evancz 5ba2f27Improve type inference for List library and Maybe datatype.evancz 911d92cImprove type hints for values that fall through to JavaScript. Abstract out Guid functions since they are now used in many modules.evancz 0ca86e4Allow let-polymorphism in type-inference algorithm. Remove old type-checking files.evancz