Ahh, makes sense. Great. Thanks @Dan!
The fact that proper_q is treated as definite as well is something I haven’t implemented either. I’m sure that’ll fix some future bugs.
Ahh, makes sense. Great. Thanks @Dan!
The fact that proper_q is treated as definite as well is something I haven’t implemented either. I’m sure that’ll fix some future bugs.