summaryrefslogtreecommitdiff
path: root/dhall/tests/parser/success/unit/LambdaNestedB.txt
blob: 1e487c5346c776b5098acb95fd528b5202eb2481 (plain)
1
λ(x : T) → λ(y : U) → x