Viewing all changes in revision 463.
- Committer: Jean-Vincent Loddo
- Date: 2018-09-26 14:20:21 UTC
- Revision ID: loddo@lipn.univ-paris13.fr-20180926142021-z0owqa3wadmuth6d
Added module Loop, defining loops as composable data structures, easier to nest than classic "fold" functions.
- files added:
- STRUCTURES/loop.ml
- files modified:
- EXTRA/pervasivesExtra.ml
expand all
collapse all
added
removed
