on 68b3c86 help sign in
all commits
68b3c86Add type hints for the Signal, Mouse, and Window libraries.evancz 617c7a9Add hint for "text" function.evancz 5b49500More type hints.evancz 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