def or_associative

stelliferous@0.0.2.0 · proofs/boolean_logic.bend:91

import Base

91def or_associative(+first: Bool,+second: Bool,+third: Bool) ->
92  {first || (second || third) == (first || second) || third : Bool}:
93  match first:
94    case False{}: {==}
95    case True{}: {==}