on 20fa5f2 help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Name changes for simpler Type representation Environment.hsStart using strict State and Writer Inference.hsName changes for simpler Type representation Solve.hsName changes for simpler Type representation State.hsUpdate for new Type representation Type.hsStart using strict State and Writer Unify.hsUpdate unification for new union-find algorithm UnionFind.hsBetter behavior when unifying with yourself