on 344579b help sign in
elk/src/Type
1 folder, 6 files
../ Constrain/Create special "error type" that has extra information Instantiate.hsRevamp type constraint generation Occurs.hsCreate special "error type" that has extra information Solve.hsCreate special "error type" that has extra information Type.hsCreate special "error type" that has extra information Unify.hsCreate special "error type" that has extra information UnionFind.hsUse shorter names in UnionFind