git.iko.soy/elk
on 89605b1 help sign in
history ofsrc/Types/Types.hs
all commits
68b3c86Add type hints for the Signal, Mouse, and Window libraries.evancz 5b49500More type hints.evancz f76a22eRedo type parser. Correct let-polymorphism in unification.evancz 911d92cImprove type hints for values that fall through to JavaScript. Abstract out Guid functions since they are now used in many modules.evancz f5bdeaeAdd basics of type-checking and inference. Uses constraint generation method.evancz f32b647Fix HLint warnings.Abhinav Gupta a587ff5Initial commit.evancz