git.iko.soy/elk
on afb08b8 help sign in
elk/src/Type
1 folder, 6 files
../ Constrain/Move Type.Fragment into Type.Constrain.Pattern Environment.hsRemove effect types 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