git.iko.soy/elk
on 2c1b2e8 help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Update pattern matches for less caching in canonical AST Constraint.hsGet Type.Constrain.Module working Instantiate.hsRevamp type constraint generation Occurs.hsUpdate some uses of UF for the shorter names Solve.hsUpdate pattern matches for less caching in canonical AST Type.hsGet Type.Constrain.Module working Unify.hsGet rid of Type.State and Solver monad UnionFind.hsUse shorter names in UnionFind