Skip to content

feat(tocslib): stage the free-monad API, loop transport, and order bridge - #185

Draft
dtumad wants to merge 1 commit into
bump/lean-v4.34.0-rc2from
tocslib/free-monad-slice
Draft

feat(tocslib): stage the free-monad API, loop transport, and order bridge#185
dtumad wants to merge 1 commit into
bump/lean-v4.34.0-rc2from
tocslib/free-monad-slice

Commits

Commits on Sep 3, 2026