« Previous | Next » 

Revision d4f62d4e

IDd4f62d4ea64cf909f71e9328da7c9d484a8a2f53

Added by Iustin Pop over 15 years ago

Replace a foldl by foldl'

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences