lean4-metaprogramming-book icon indicating copy to clipboard operation
lean4-metaprogramming-book copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community
→

Metadata

Results 31 lean4-metaprogramming-book issues
Sort by recently updated
recently updated
newest added

Typo in `MetaM` chapter: the signature of `Lean.commitIfNoEx` is wrong

in https://leanprover-community.github.io/lean4-metaprogramming-book/main/04_metam.html#backtracking , > `Lean.commitIfNoEx (x : α) : m α` executes `x`. If `x` succeeds, `commitIfNoEx` returns its result. If `x` throws an exception, `commitIfNoEx` backtracks the state and...

spinylobster avatar spinylobster

← Metadata

202
Stars
46
Forks
Watchers

Owner

verified publisher icon leanprover-community

Metadata

Back