git.iko.soy/elk
on abb9633 help sign in
elk/src/Type
1 folder, 10 files
../ Constrain/Add basic support for the loopback construct Environment.hsImprove indentation in Type.Environment ExtraChecks.hsProperly check for WritableStream types 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.hsImprove indentation in Type.State Type.hsRefactor Type.Type: better style, flow, and comments Unify.hsDon't switch order of arguments during unification in Type.Unify