git.iko.soy/elk
on 4878192 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.hsRemove SCC marker Type.hsMake Elm.Name an opaque type Unify.hsProperly unify Unit1 types UnionFind.hsUse shorter names in UnionFind