git.iko.soy/elk
on 0ff8a91 help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Check programs that take flags, generate relevant decoder 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