Def WriterT.monad

Modification history

2022-06-02 19:04
Mathlib/Control/Writer.lean
feat: WriterT monad transformer (#281) …
Added WriterT.monadView on Github →