Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/Array.mapIdx/./tests/lean/matchAltIndent.lean.expected.out
blob: 0374c62b22392a09627ec2bea5b9fb124da9300a [file] [edit]
matchAltIndent.lean:2:0: error: expected alternative right-hand-side to start in a column greater than or equal to the corresponding '|'