git.iko.soy/elk
on 8b03cb7 help sign in
elk/src/Type
1 folder, 8 files
../ Constrain/Get rid of Type.State and Solver monad Constraint.hsGet rid of Type.State and Solver monad Inference.hsSwitch to Data.Map.Strict in type inference Instantiate.hsRevamp type constraint generation Occurs.hsUpdate some uses of UF for the shorter names Solve.hsGet rid of Type.State and Solver monad Type.hsUpdate some uses of UF for the shorter names Unify.hsGet rid of Type.State and Solver monad UnionFind.hsUse shorter names in UnionFind