git.iko.soy/elk
on b5df201 help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Create Type.Error module and simplify Error type a bit Error.hsCreate Type.Error module and simplify Error type a bit Instantiate.hsSwitch TRecord constructors to have (Maybe Name) extensions Occurs.hsCreate special "error type" that has extra information Solve.hsSwitch TRecord constructors to have (Maybe Name) extensions Type.hsSwitch TRecord constructors to have (Maybe Name) extensions Unify.hsCreate Type.Error module and simplify Error type a bit UnionFind.hsUse shorter names in UnionFind