git.iko.soy/elk
on a2a2fc0 help sign in
elk/src/Type
1 folder, 6 files
../ Constrain/Track region information in canonical defs Environment.hsAssume arguments match the type annotations Inference.hsAssume arguments match the type annotations Solve.hsRemove Type.Solve.allDistinct for rigid var uniqueness check State.hsUse user-defined type variables whenever possible Type.hsUse user-defined type variables whenever possible Unify.hscosmetic: remove stray newline