Closed PeiMu closed 1 year ago
There are definitely things we can refactor, but given its size, we can leave those for subsequent (clear and concise) PRs.
Unless we need to do a clean-up on the commits, LGTM.
Great job @PeiMu!
Many thanks for your review! I merged this PR.
This is a draft PR aiming to enhance the inferBound, including:
Closes https://github.com/phillipstanleymarbell/Noisy-lang-compiler/issues/609.