on 82f888c help sign in
elk/compiler/Types
7 files
../ Alias.hsMove the compiler down a directory, mostly. 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.hsMove the compiler down a directory, mostly. Substitutions.hsMove the compiler down a directory, mostly. Types.hsGet the type-checker running based on docs.json information. Also add rules for `Nil` and `Tuple0`, `Tuple2`, etc. Unify.hsMove the compiler down a directory, mostly.