git.iko.soy/elk
on 07f61dc help sign in
elk/src/Type
1 folder, 8 files
../ Constrain/Switch to Data.Map.Strict in type inference Constraint.hsSwitch to Data.Map.Strict in type inference Inference.hsSwitch to Data.Map.Strict in type inference Occurs.hsSwitch to Data.Map.Strict in type inference Solve.hsSwitch to Data.Map.Strict in type inference State.hsSwitch to Data.Map.Strict in type inference Type.hsMove code for instantiating source types into Type.Type Unify.hsSwitch to Data.Map.Strict in type inference UnionFind.hsBetter behavior when unifying with yourself