git.iko.soy/elk
on 09d86de help sign in
elk/src/Type
1 folder, 10 files
../ Constrain/Add basic support for the loopback construct Environment.hsRemove special syntax for lists in types ExtraChecks.hsAdd type validation for loopback declarations 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