git.iko.soy/elk
on e041457 help sign in
history ofsrc/Types/Types.hs
all commits
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