git.iko.soy/elk
on ea05fbe help sign in
history ofsrc/Types/Constrain.hs
all commits
c00d017Add the 'Str' data constructor to Ast.hs. Makes type checking go much much much faster!evancz f76a22eRedo type parser. Correct let-polymorphism in unification.evancz 5ba2f27Improve type inference for List library and Maybe datatype.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