Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/replace
/
.
/
tests
/
lean
/
eagerUnfoldingIssue.lean.expected.out
blob: e116b6dd13cd5c330c29f8b098585298fe9051dc [
file
] [
edit
]
eagerUnfoldingIssue
.
lean
:
6
:
2
-
6
:
17
:
error
:
failed to synthesize instance
MonadLog
(
StateM
Nat
)
eagerUnfoldingIssue
.
lean
:
12
:
2
-
12
:
17
:
error
:
failed to synthesize instance
MonadLog
(
StateM
Nat
)
