on 5ba2f27 help sign in
all commits
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