dhall-1.11.0: tests/normalization/simplifications/eqA.dhall

{ example0 = λ(x : Bool) → x == True
, example1 = λ(x : Bool) → True == x
, example2 = λ(x : Bool) → x == x
}