on 3d14963 help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Create Type.Error module and simplify Error type a bit Error.hsCreate Type.Error module and simplify Error type a bit Instantiate.hsRevamp type constraint generation Occurs.hsCreate special "error type" that has extra information Solve.hsCreate Type.Error module and simplify Error type a bit Type.hsCreate Type.Error module and simplify Error type a bit Unify.hsCreate Type.Error module and simplify Error type a bit UnionFind.hsUse shorter names in UnionFind