Skip to content

feat(FreeM): relate indexed and polynomial free monads - #1086

Open
dtumad wants to merge 1 commit into
leanprover:mainfrom
dtumad:dtumad/freem-pfunctor-equiv
Open

dtumad wants to merge 1 commit into
leanprover:mainfrom
dtumad:dtumad/freem-pfunctor-equiv

feat(FreeM): relate indexed and polynomial free monads

8bc34b1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
ci-checks
succeeded Oct 5, 2026 in 7m 16s