git.iko.soy/elk
on dc356df 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.hsHide Elm.Name implementation in more places Unify.hsProperly unify Unit1 types UnionFind.hsUse shorter names in UnionFind