Skip to content

Right adjoint to Functor.Slice.Free#408

Draft
Taneb wants to merge 9 commits intomasterfrom
MoreBaseChanges
Draft

Right adjoint to Functor.Slice.Free#408
Taneb wants to merge 9 commits intomasterfrom
MoreBaseChanges

Commits

Commits on Jan 9, 2024

Commits on Jan 10, 2024

Commits on Jan 24, 2024

Commits on Jan 27, 2024

Commits on Jun 9, 2025