2DTypes
2DTypes copied to clipboard
Finalize the paper
- [x] Rewrite the Reasoning section
- [x] Fix spacing, dangling words
- [x] Fix typos
- [x] Write a comment with the summary of changes for the review
- [x] Go through the annotated pdf and fix critical
- [x] Go through the review and check whether we really addressed everything