Closed justinlubin closed 1 year ago
(Might need to rewrite type checker to HM for simplicity)
Implemented in #37.
(Might need to rewrite type checker to HM for simplicity)