mathlib3
docs(category/monad,bitraversable): add module docstrings #1260
#1286

Merged

docs(category/monad,bitraversable): add module docstrings #1260 #1286

mergify merged 5 commits into master from doc-monad-traversable

docs(category/monad,bitraversable): add module docstrings

ab47a158

cipher1024 requested a review 6 years ago

cipher1024 assigned

robertylewis 6 years ago

robertylewis commented on 2019-08-01

more docs

5e231b45

still more doc

8d0e2027

doc about traversable

cf2b5650

robertylewis approved these changes on 2019-08-22

robertylewis added ready-to-merge

Merge branch 'master' into doc-monad-traversable

3f183a71

mergify merged f442a41a into master 6 years ago

mergify deleted the doc-monad-traversable branch 6 years ago

Reviewers

robertylewis

Assignees

robertylewis

Labels

ready-to-merge

Milestone

No milestone