git.iko.soy/elk
on dbe6c75 help sign in
elk/src/Type
1 folder, 9 files
../ Constrain/Move constraint primitives into Type.Constraint Constraint.hsMove constraint primitives into Type.Constraint Environment.hsDisallow equivalent representations of the same type Inference.hsMove constraint primitives into Type.Constraint Occurs.hsDisallow equivalent representations of the same type Solve.hsMove constraint primitives into Type.Constraint State.hsDisallow equivalent representations of the same type Type.hsMove constraint primitives into Type.Constraint Unify.hsDisallow equivalent representations of the same type UnionFind.hsBetter behavior when unifying with yourself