Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/Array.mapIdx/./tests/lean/noTabs.lean.expected.out
blob: 5262009f31c3d1dfea342d6cdbf4d03d75a1c2b3 [file] [edit]
noTabs.lean:3:0: error: tabs are not allowed; please configure your editor to expand them
let a := 1;
sorry : ?m