law blow

lawful-words@0.1.0.0 · proof_bytes.bend:346

import Base

346law blow:
347  for +l: Bool
348  for +g: Bool
349  for +y: Bool
350  for imp: {l == True{} : Bool} -> {g == False{} : Bool}
351  {Bool.and(l, Bool.and(g, y)) == False{} : Bool}