Allow operator definitions to depend on currently defined operators
Sintrastes opened this issue · 0 comments
Sintrastes commented
This would allow us to do things like define /= in terms of ==.
To be fully general, we should also allow expressions to depend on operators, and operators to depend on expressions.