Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/setConfig/./tests/lean/evalInstMessage.lean.expected.out
blob: 8b195ffcfe97514c360973cba6ca4595aee6013c [file] [edit]
evalInstMessage.lean:3:0-3:5: error: could not synthesize a 'Repr' or 'ToString' instance for type
Nat → Nat