6 lines
213 B
Text
6 lines
213 B
Text
f 1 : (Nat → Nat) → Nat
|
|
appParserIssue.lean:5:11: error: expected command
|
|
f 1 (λ (x : Nat), x) : Nat
|
|
f 1 (λ (x : Nat), x) : Nat
|
|
appParserIssue.lean:12:13: error: unexpected token
|
|
f 1 (λ (x : Nat), x) : Nat
|