Commit 2022-06-02 19:04 68956466

View on Github →

feat: WriterT monad transformer (#281) Partial porting of @cipher1024 's mathlib3 code.

Estimated changes

added def Writer
added def WriterT.monad
added def WriterT