Repository navigation

Split MeasurableSpaceMonad into Defs and ForIn - #21

Merged

RemyDegenne merged 1 commit into

mainfrom

codex/split-measurable-space-monad

Oct 29, 2026

Merged

Split MeasurableSpaceMonad into Defs and ForIn#21
RemyDegenne merged 1 commit into
mainfrom
codex/split-measurable-space-monad

Commits on Oct 27, 2026
- Split MeasurableSpaceMonad into Defs and ForIn
  David Ledvinka
  committed
  ff82ff5