The goal is to have the entire autograder able to be type-check-able. This issue serves to track blockers and progress. - [ ] Polymorphic type alias bug needs to be fixed upstream: brownplt/pyret-lang#1791 - [ ] Compiler internals may be poorly typed, will need to see how that goes
The goal is to have the entire autograder able to be type-check-able. This issue serves to track blockers and progress.