git.iko.soy/elk
on edfca84 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.hsRefactor ExtraChecks to be clearer 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