../ Constrain/Fix type constraint generation for record accessors9 years ago Constraint.hsGet rid of Type.Constraint.Category that is not in use anymore9 years ago Instantiate.hsRevamp type constraint generation9 years ago Occurs.hsUpdate some uses of UF for the shorter names9 years ago Solve.hsLocalize headers into the correct rank!9 years ago Type.hsTie all the phases together9 years ago Unify.hscosmetic: make case branches more consistent9 years ago UnionFind.hsUse shorter names in UnionFind9 years ago