git.iko.soy/elk
on d228087 help sign in
elk/src/Type
1 folder, 8 files
../ Constrain/Disallow equivalent representations of the same type Environment.hsDisallow equivalent representations of the same type Inference.hsDisallow equivalent representations of the same type Occurs.hsDisallow equivalent representations of the same type Solve.hsUse faster data structure in Type.Solve.generalize State.hsDisallow equivalent representations of the same type Type.hsUse faster data structure in Type.Solve.generalize Unify.hsDisallow equivalent representations of the same type UnionFind.hsBetter behavior when unifying with yourself