git.iko.soy/elk
on d7948ad help sign in
elk/compiler/Types
7 files
../ Alias.hsGet type dealiasing working. Constrain.hsGet the type-checker running based on docs.json information. Also add rules for `Nil` and `Tuple0`, `Tuple2`, etc. Hints.hsGive better name for errors when parsing docs.json Solver.hsGet type dealiasing working. Substitutions.hsMove the compiler down a directory, mostly. Types.hsGet type dealiasing working. Unify.hsGet type dealiasing working.