git.iko.soy/elk
on 4e15a25 help sign in
history ofsrc/Types/Unify.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 0ca86e4Allow let-polymorphism in type-inference algorithm. Remove old type-checking files.evancz f5bdeaeAdd basics of type-checking and inference. Uses constraint generation method.evancz