michaelto20
commented
7 years ago - Change LCase in typechecker, ty that gets passed in is the type for each branch
- Change type annotation parsing or LCase to be ":" not "< >" and parse out the "List"
- Change typeChecker for LCase to add back in "List ty"
- prettyPrint should still print with [type]
- Go through surface typing rules and make sure they are implemented correctly
- Double check cast insertion, subtyping, and consistency alrogithms
- Research how to make Grady into a Stack package