Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/floatbits
/
.
/
tests
/
lean
/
nonReserved.lean.expected.out
blob: 95536ab6bbc69b07f4cbd2f846159c63225d2e6f [
file
] [
edit
]
10
:
Nat
nonReserved
.
lean
:
11
:
10
-
11
:
14
:
error
:
unexpected identifier
;
expected
'bla'
