git.iko.soy/elk
on c3ee8ca help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/cosmetic: move constrainAnnotatedDef below other def code 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.hsDo a better job with missing fields