Closed Necried closed 3 years ago
This implements the features in #109. One thing I'm doing now is catching type-inferencing errors and printing them, when they should ideally be handled by the projectional editor. That can be changed in a future PR.
This implements the features in #109. One thing I'm doing now is catching type-inferencing errors and printing them, when they should ideally be handled by the projectional editor. That can be changed in a future PR.