Repository navigation

Start the MeasurableSpaceMonad rebuild - #18

Draft

DavidLedvinka wants to merge 14 commits into

mainfrom

codex/rebuild-scaffold

Draft

Start the MeasurableSpaceMonad rebuild#18
DavidLedvinka wants to merge 14 commits into
mainfrom
codex/rebuild-scaffold

Commits on Oct 26, 2026
- Start the polymorphic measurable-space monad rebuild
  David Ledvinka
  committed
  165d24c
- Consolidate measurable-space monad core and notation under RandomDo
  David Ledvinka
  committed
  4b21c60
- Defer ForIn support and document the monad foundation
  David Ledvinka
  committed
  af55bde
- Explain the measurable monad hierarchy and Applicative omission
  David Ledvinka
  committed
  953e034
- Restore the original user-written module introduction
  David Ledvinka
  committed
  9d81bb6
- Omit redundant namespace prefixes in the core module docs
  David Ledvinka
  committed
  07cbf00
- Move the rebuilt measurable monad API into MeasureTheory
  David Ledvinka
  committed
  d8019a7
- Cite Aumann directly for the function-space obstruction
  David Ledvinka
  committed
  b1db789
- Clarify the measurability distinction between bind and seq
  David Ledvinka
  committed
  afa7d0c
- Restore the original wording and continue the implementation note
  David Ledvinka
  committed
  bc65172
- Complete the implementation note with the identity monad example
  David Ledvinka
  committed
  66c83cd
- Improve MeasurableSpaceMonad Documentation
  David Ledvinka
  committed
  ad59547
- Improve MeasurableSpaceMonad Documentation
  David Ledvinka
  committed
  0462759
- Merge standalone measurable monad documentation
  David Ledvinka
  committed
  9e370dd