« Previous | Next » 

Revision d4f62d4e

IDd4f62d4ea64cf909f71e9328da7c9d484a8a2f53
Parent 4e25d1c2
Child 1fd47ca2

Added by Iustin Pop about 15 years ago

Replace a foldl by foldl'

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences