tests/plugin/SnakeLinter.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google

Sign in

fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/lean-web/./tests/plugin/SnakeLinter.lean.expected.out

blob: c953031e19fca8cdfe95df5429635d686811f03b [file] [edit]

SnakeLinter.lean:4:4: error: SNAKES!!

Powered by Gitiles| Privacy| Terms txt json