Revision d4f62d4e
ID | d4f62d4ea64cf909f71e9328da7c9d484a8a2f53 |
Parent | 4e25d1c2 |
Child | 1fd47ca2 |
Replace a foldl by foldl'
Files
- added
- modified
- copied
- renamed
- deleted
ID | d4f62d4ea64cf909f71e9328da7c9d484a8a2f53 |
Parent | 4e25d1c2 |
Child | 1fd47ca2 |
Added by Iustin Pop about 15 years ago
Replace a foldl by foldl'