Repository navigation

Add measurable monad lifting - #26

Open

DavidLedvinka wants to merge 2 commits into

codex/export-measurable-monad-operationsfrom

codex/measurable-monad-lift

Open

Add measurable monad lifting#26
DavidLedvinka wants to merge 2 commits into
codex/export-measurable-monad-operationsfrom
codex/measurable-monad-lift

Commits on Nov 13, 2026
- Add measurable monad lifting
  David Ledvinka
  committed
  52afa1b
- Match scaffold adapter placement and retain tests in scaffold
  David Ledvinka
  committed
  8bf49de