on 1408bc3 help sign in
elk/src/Type
1 folder, 8 files
../ Constrain/Name changes for simpler Type representation Environment.hsStart using strict State and Writer Inference.hsName changes for simpler Type representation Occurs.hsThe Error structure describes how it should be displayed Solve.hsThe Error structure describes how it should be displayed State.hsThe Error structure describes how it should be displayed Type.hsThe Error structure describes how it should be displayed Unify.hsThe Error structure describes how it should be displayed UnionFind.hsBetter behavior when unifying with yourself