dhall-1.7.0: tests/parser/operators.dhall
{ foo = (False && Natural/even (+1 + +2 * +3)) || True == False != True }
∧ { bar = [ "ABC" ++ "DEF" ] # [ "GHI" ] } ⫽ { baz = True }
{ foo = (False && Natural/even (+1 + +2 * +3)) || True == False != True }
∧ { bar = [ "ABC" ++ "DEF" ] # [ "GHI" ] } ⫽ { baz = True }