git.iko.soy/elk
on 4bcde7e help sign in
history ofcompiler/Type/Inference.hs
all commits
b0f96a2Switch from [Def t v] to (LExpr t v) for program representationEvan Czaplicki a3a7b3eRefactor type environmentEvan Czaplicki 8145e60Create MetadataModule for more refined information about modulesEvan Czaplicki ce357b3Switch to reporting errors with [Doc] for prettier layout.Evan Czaplicki 67ef1ecCreate the Type.Inference module which handles type inference from start to finish. Give it a Module and it returns a dictionary mapping top-level values to types.Evan Czaplicki