on 2a2e58c help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Minor update for recent AST changes Constraint.hsAdd additional metadata for TooManyArguments error 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.hscosmetic: make case branches more consistent UnionFind.hsUse shorter names in UnionFind