git.iko.soy/elk
on 1c485a0 help sign in
elk/src/Type
1 folder, 10 files
../ Constrain/Allow Tasks through ports Environment.hsTrack dealiasing more precisely ExtraChecks.hsUpdate mainCheck Fragment.hsstyle: conform to modern style guide Hint.hsBail out of unification on first failure Inference.hsCheck type of 'perform' declarations 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.hsTrack dealiasing more precisely Unify.hsProperly preserve type aliases after canonicalization and through type inference