summaryrefslogtreecommitdiff
path: root/dhall/tests/parser/success/unit/AssertEquivalenceB.txt
blob: 009c2c8f88872df08dd33357bec8ecc912000e32 (plain)
1
assert : x ≡ y