law and_true

lawful-fields@0.1.1.0 · proof_digits.bend:31

import Base

31law and_true:
32  for +a: Bool
33  {Bool.and(a, True{}) == a : Bool}