git.iko.soy/elk
on 69ed763 help sign in
elk/compiler/Type
1 folder, 1 file
../ Constrain/Start generating constraints for let-expressions. Account for mutual recursion, but will throw a runtime error if a user has given type annotations. Type.hsStart generating constraints for let-expressions. Account for mutual recursion, but will throw a runtime error if a user has given type annotations.