lean2/tests/lean/t12.lean.expected.out
2016-06-02 11:28:00 -07:00

2 lines
120 B
Text

λ f g x y, f x (g x y) : (N → N → N) → (N → N → N) → N → N → N
t12.lean:7:7: error: invalid expression