Skip to content

feat(PFunctor): redefine PFunctor.FreeM in terms of PFunctor.W - #731

Open
dtumad wants to merge 2 commits into
leanprover:mainfrom
dtumad:dtumad/pfunctor-w
Open

feat(PFunctor): redefine PFunctor.FreeM in terms of PFunctor.W#731
dtumad wants to merge 2 commits into
leanprover:mainfrom
dtumad:dtumad/pfunctor-w

more standard naming convention

fce6853
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Jul 18, 2026 in 2s