git.iko.soy/elk
on c37875c help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Type check effect manager functions Environment.hsRemove effect types Fragment.hsShow proper errors for infinite types again Inference.hsParse more liberally, give errors in validation phase for better messages Solve.hsRemove effect types State.hsRemove effect types Type.hsRemove unused import Unify.hscosmetic: add vertical whitespace