git.iko.soy/elk
on 1d1e763 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.hsRemove perf TODO that does not seem to make any difference UnionFind.hsUse shorter names in UnionFind