Skip to content

feat(PFunctor): measure semantics for free monads and resumptions - #1089

Open
dtumad wants to merge 6 commits into
leanprover:mainfrom
dtumad:dtumad/pfunctor-measure
Open

feat(PFunctor): measure semantics for free monads and resumptions#1089
dtumad wants to merge 6 commits into
leanprover:mainfrom
dtumad:dtumad/pfunctor-measure

feat(PFunctor): measure semantics for free monads and resumptions

2f373a6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-pr-title
succeeded Oct 6, 2026 in 4s