Edit History

Rev | Time | Changes | Operations |
---|---|---|---|

Log | |||

8 | 2015-06-20 17:43:43 | +23 -0 line(s) | [View this version, source] [Diff to previous] |

slightly more rigorous version of showing that (foldl f a s) = (foldr f a s) all a,s then f is associative, commutative | |||

7 | 2014-10-03 12:35:54 | +16 -0 line(s) | [View this version, source] [Diff to current|previous] |

property clarification | |||

6 | 2013-04-05 02:27:47 | +8 -0 line(s) | [View this version, source] [Diff to current|previous] |

correct the error of the explanation of equivalence of the fold-left and fold-right | |||

5 | 2011-08-08 01:11:21 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |

corrected the spelling error. | |||

4 | 2010-04-02 07:01:46 | +6 -0 line(s) | [View this version, source] [Diff to current|previous] |

add: nav | |||

3 | 2009-05-21 12:24:25 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |

I've done mistake in last edit - just corrected it. | |||

2 | 2009-05-21 12:22:33 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |

There was a mistake - operation hasn't be commutative, it has to be associative (example - matrix multiplication, which dosn't commutative, but still has the same results in both foldings). | |||

1 | 2007-12-29 15:50:59 | +57 -0 line(s) | [View this version, source] [Diff to current|previous] |

initial draft | |||

[Diff from epoch] |