tmr232, 9 months ago

@foonathan If I'm not mistaken, you get that using a and b in Python.

artificialmind, 9 months ago

@foonathan I mean ... "A ? B : true" maybe kinda works? At least it captures "implies" better: "if A then B"

foonathan, 9 months ago

@artificialmind Yeah, but then you have a weird : true in there...

taxorubio, 9 months ago

@foonathan @artificialmind It's my first time reading that idiom and I like how it make the branching clearer. !A || B makes it harder for my brain to think about A && B || !A because the negation operator, but A ? B : true makes the branching explicit and much easier to analyse. Still, A => B would be the bomb!