yogsototh/elm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
984 commits 1 branch 8 tags 4.1 MiB
Commit graph

2 commits

Author SHA1 Message Date
Evan Czaplicki
351c33c486 Start generating constraints for let-expressions. Account for mutual recursion, 
but will throw a runtime error if a user has given type annotations.
 2013-07-03 19:51:38 +02:00
Evan Czaplicki
cdb63bd8d1 Start writing a new type checker based on the ATAPL chapter on efficient type-inference. 2013-07-03 14:35:51 +02:00