summaryrefslogtreecommitdiff
path: root/dhall/tests/parser/success/operatorsB.txt
blob: 3f987aa6bcfbb60f55db15428513cb40b43f29dd (plain)
1
{ foo = False && Natural/even (1 + 2 * 3) || True == False != True } ∧ { bar = ["ABC" ++ "DEF"] # ["GHI"] } ⫽ { baz = True } : { baz : Bool, foo : Bool } ⩓ { bar : List Text }