git.iko.soy/elk
on 54edea7 help sign in
history ofsrc/Types/Unify.hs
all commits
54edea7Correct error with type inference.evancz 68a5636Add more strictness to deal with space-leak in cSub and tSub functions.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 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