git.iko.soy/elk
on 4953132 help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Separate out payload and overall type for ports Constraint.hsGet rid of Type.Constraint.Category that is not in use anymore Instantiate.hsRevamp type constraint generation Occurs.hsUpdate some uses of UF for the shorter names Solve.hsLocalize headers into the correct rank! Type.hsTie all the phases together Unify.hsProperly unify Unit1 types UnionFind.hsUse shorter names in UnionFind