Closed miles-cg closed 7 years ago
It seems they opened a new PR
I added support for negative nilads. Wasn't sure how to include it in the previous pull so I just made a new one.
You just need to push. Github picks it up.
@vendethiel hehe I didn't see that...
Huh? Did it have bugs or something?