on d5b0b43 help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Name changes for simpler Type representation Environment.hsName changes for simpler Type representation Inference.hsName changes for simpler Type representation Solve.hsName changes for simpler Type representation State.hsAdd SCC annotations throughout type inference Type.hsGet rid of pointless polymorphism in Type representations Unify.hsAdd SCC annotations throughout type inference UnionFind.hsImplement a custom union-find algorithm