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