git.iko.soy/elk
on 4b559e0 help sign in
elk/src/Type
1 folder, 10 files
../ Constrain/Add basic support for the loopback construct Environment.hsProperly preserve type aliases after canonicalization and through type inference ExtraChecks.hsProperly preserve type aliases after canonicalization and through type inference Fragment.hsstyle: conform to modern style guide Hint.hsBail out of unification on first failure Inference.hsRefactor ExtraChecks to be clearer PrettyPrint.hsRename compiler/ to src/ Solve.hsBail out of unification on first failure State.hsProperly preserve type aliases after canonicalization and through type inference Type.hsProperly preserve type aliases after canonicalization and through type inference Unify.hsProperly preserve type aliases after canonicalization and through type inference