Closed Sintrastes closed 1 year ago
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.
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.