git.iko.soy/elk
on 97841f7 help sign in
elk/compiler/src/Type
1 folder, 7 files
../ Constrain/cosmetic: get rid of a `let` and inline the value Error.hsStart flowing Localizer through other modules Instantiate.hsMove all the compiler code into the compiler/ directory Occurs.hsMove all the compiler code into the compiler/ directory Solve.hsStart flowing Localizer through other modules Type.hsProduce better error messages on "too many args" Unify.hsGet rid of try2 and try3 ideas in unification UnionFind.hsMove all the compiler code into the compiler/ directory