Commit 2023-01-22 09:56 69d3684a
View on Github →Bug fix: Bool.not_ne_self missing "()" (#1755)
where !b ≠ b is interpreted as (!decide (b ≠ b)), but meant to be (!b) ≠ b.
Bug fix: Bool.not_ne_self missing "()" (#1755)
where !b ≠ b is interpreted as (!decide (b ≠ b)), but meant to be (!b) ≠ b.