git.iko.soy/elk
on 5bf3d0c help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Remove [1..5] syntax in favor of List.range 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.hsProvide hint for "not enough args"