Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/Array.mapIdx/./tests/lean/letArrowOutsideDo.lean.expected.out
blob: 9e9450b3553b81e38c9c2f2701f809b78f1b9205 [file] [edit]
letArrowOutsideDo.lean:2:7-2:9: error: unexpected token '←'; expected ':=' or '|'