git.iko.soy/elk
on 52e43bb 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.hsDisallow equivalent representations of the same type State.hsDisallow equivalent representations of the same type Type.hsDisallow equivalent representations of the same type Unify.hsDisallow equivalent representations of the same type UnionFind.hsBetter behavior when unifying with yourself