Skip to content

feat(PFunctor): add resumptions and relate W-types, M-types and free monads - #1088

Open
dtumad wants to merge 5 commits into
leanprover:mainfrom
dtumad:dtumad/pfunctor-resumption
Open

feat(PFunctor): add resumptions and relate W-types, M-types and free monads#1088
dtumad wants to merge 5 commits into
leanprover:mainfrom
dtumad:dtumad/pfunctor-resumption

feat(PFunctor): relate M-types and never-returning resumptions

316d261
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-pr-title
succeeded Oct 5, 2026 in 3s