git.iko.soy/elk
on 4546c0b help sign in
history ofsrc/Types/Hints.hs
all commits
7875f20Add type hint for Input.stringDropDownevancz ee0c811Fixed typo. It's "tuple" not "tulpe"!evancz 13a25c3Add type hints for partial coverage of "Input"evancz 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