On 11/09/2026 18:06, Vik Fearing wrote:
a IMPLIES (100 / b > 10)This is an error because the operator only applies to booleans.
Sorry, my bad. I parsed it incorrectly in my head, assuming b was a boolean. Its result is (NOT a) OR ((100 / b) > 10) -- Vik Fearing
