on 60ca557 help sign in
elk/src/Type
1 folder, 8 files
../ Constrain/Name changes for simpler Type representation Environment.hsStart using strict State and Writer Inference.hsName changes for simpler Type representation Occurs.hsShow better error messages on infinite comparable types Solve.hsShow better error messages on infinite comparable types State.hsThe Error structure describes how it should be displayed Type.hsThe Error structure describes how it should be displayed Unify.hsShow better error messages on infinite comparable types UnionFind.hsBetter behavior when unifying with yourself