Closed adamnemecek closed 6 years ago
@adamnemecek thanks for the contribution! Can you sync with master and resolve the conflicts?
sorry i'l stop pushing to this pull request. i removed one import prematurely. i'll wait with the rest until you merge this.
@adamnemecek no problem! Feel free to open another PR, and maybe say that it's WIP so we know it's not ready to merge yet.
Thanks again for the PR!
Description
Refactors == operators and count == 0.