on 247359c help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Track an index for each constructor Constraint.hsGet Type.Constrain.Module working Instantiate.hsRevamp type constraint generation Occurs.hsUpdate some uses of UF for the shorter names Solve.hsTie all the phases together Type.hsTie all the phases together Unify.hsGet rid of Type.State and Solver monad UnionFind.hsUse shorter names in UnionFind