mathlib3
feat(category/fold): `foldl` and `foldr` for `traversable` structures
#376

Merged

feat(category/fold): `foldl` and `foldr` for `traversable` structures #376

johoelzl merged 3 commits into leanprover-community:master from leanprover-fork:fold

cipher1024

digama0

digama0 commented on 2018-09-28

rwbarton

cipher1024

rwbarton

cipher1024

cipher1024

rwbarton

cipher1024

rwbarton

cipher1024

cipher1024

rwbarton

rwbarton

cipher1024

rwbarton

cipher1024

rwbarton

cipher1024

cipher1024

cipher1024

cipher1024

cipher1024

cipher1024

cipher1024 changed the title ~~feat(category/fold.lean): `foldl` and `foldr` for `traversable` struc…~~ feat(category/fold): `foldl` and `foldr` for `traversable` structures 7 years ago

cipher1024

cipher1024 commented on 2018-10-04

spl

cipher1024

spl

cipher1024

cipher1024

spl

spl

cipher1024

cipher1024

spl

cipher1024

cipher1024

kim-em

spl

spl

spl

cipher1024

cipher1024

kim-em

cipher1024

cipher1024

cipher1024

cipher1024 force pushed from 86f4d6df to 21a794a6 7 years ago

cipher1024

cipher1024 force pushed from 21a794a6 to bd03a248 7 years ago

cipher1024

cipher1024 force pushed from bd03a248 to 364bf3af 7 years ago

cipher1024

cipher1024 force pushed from 364bf3af to 0919259d 7 years ago

cipher1024

cipher1024 force pushed from 0919259d to a5c43ebc 7 years ago

kim-em

kim-em commented on 2018-10-08

cipher1024

cipher1024

digama0

cipher1024

cipher1024

cipher1024 force pushed from cddb5e95 to 7d5646be 7 years ago

spl

cipher1024

spl

cipher1024

spl

cipher1024

cipher1024

rwbarton

rwbarton commented on 2018-10-11

rwbarton

cipher1024

rwbarton

cipher1024

cipher1024

cipher1024 force pushed from ea79eccf to 4a36f8b2 7 years ago

cipher1024

cipher1024 force pushed from 4a36f8b2 to 5c8e1d6d 7 years ago

cipher1024

cipher1024 force pushed from 5c8e1d6d to 1e95eeec 7 years ago

rwbarton

cipher1024

digama0

digama0 commented on 2018-11-05

cipher1024

cipher1024 force pushed from 1e95eeec to 3299cb66 7 years ago

cipher1024

cipher1024 force pushed from a83c1b41 to 514bba56 7 years ago

cipher1024

cipher1024 force pushed from 514bba56 to d4ab6481 7 years ago

cipher1024

cipher1024 force pushed from d4ab6481 to c97f8223 7 years ago

cipher1024

cipher1024 force pushed from c97f8223 to cd605768 7 years ago

cipher1024

cipher1024 force pushed from ddb5f7f4 to fdcf7d72 7 years ago

cipher1024

cipher1024 force pushed from fdcf7d72 to 74f6c4dd 7 years ago

cipher1024

cipher1024 force pushed from 74f6c4dd to efbc2d53 7 years ago

cipher1024

johoelzl

johoelzl commented on 2019-01-15

cipher1024

cipher1024

cipher1024 force pushed from efbc2d53 to 2c8672e0 7 years ago

cipher1024

cipher1024 force pushed from 2c8672e0 to a7860b0e 7 years ago

cipher1024

cipher1024 force pushed from 6a03b9bc to de565111 7 years ago

cipher1024

cipher1024 force pushed from de565111 to bf6206b3 7 years ago

cipher1024

cipher1024 force pushed from bf6206b3 to 9e0b954b 7 years ago

cipher1024

cipher1024 force pushed from 9e0b954b to f2a2cba1 7 years ago

cipher1024

cipher1024 force pushed from f2a2cba1 to 6a7aaf76 7 years ago

johoelzl

johoelzl commented on 2019-01-28

johoelzl

johoelzl commented on 2019-01-28

cipher1024

cipher1024 force pushed from 9963bf7e to 3f946170 7 years ago

cipher1024

cipher1024 force pushed from 3f946170 to 30d04f07 7 years ago

cipher1024

cipher1024 force pushed from 30d04f07 to 972315dd 7 years ago

johoelzl

johoelzl commented on 2019-01-29

rwbarton

rwbarton

cipher1024

rwbarton

johoelzl

cipher1024

cipher1024 force pushed from 61f49869 to 157c7bce 7 years ago

cipher1024

cipher1024 assigned

johoelzl

johoelzl 7 years ago

cipher1024

cipher1024 force pushed from 157c7bce to 8c60e8e8 7 years ago

cipher1024

cipher1024 force pushed from 8c60e8e8 to 8b299871 7 years ago

cipher1024

spl

kim-em

spl

spl requested changes on 2019-02-05

cipher1024

cipher1024

cipher1024

feat(category/fold): add fold for traversable instances

4e29838f

cipher1024

use `simp only` throughout `fold`

f8f495b2

cipher1024

improve documentation

08e13ee4

cipher1024

cipher1024 force pushed from a885381f to 08e13ee4 7 years ago

johoelzl

johoelzl merged e93fa306 into master 7 years ago

johoelzl

johoelzl deleted the fold branch 7 years ago

johoelzl

Login to write a write a comment.

Login via GitHub

Reviewers

spl

spl

rwbarton

rwbarton

johoelzl

johoelzl

digama0

digama0

kim-em

kim-em

Assignees

johoelzl

johoelzl

Labels

None yet

Milestone

No milestone