Skip to content

feat: add `MonadControl` lemmas for `ReaderT`, `OptionT`, `StateT`, a…

23adb20
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

feat: add MonadControl lemmas for ReaderT, OptionT, StateT, and ExceptT #11591

feat: add `MonadControl` lemmas for `ReaderT`, `OptionT`, `StateT`, a…
23adb20
Select commit
Loading
Failed to load commit list.