def false_true

bend-collections-laws-math@1.0.0.0 · proofs/lib/logic.bend:12

import Base

12def false_true(e: {False{} == True{} : Bool}) -> Empty:
13  %Equal.sym(Bool, False{}, True{}, e) : truth(_)
14  Unit{}