git.iko.soy/elk
on d608aa6 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.hsBail out of unification on first failure Type.hsStop deriving Show for Type stuff Unify.hsBail out of unification on first failure