aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorArnaud Spiwack2014-10-17 17:58:11 +0200
committerArnaud Spiwack2014-10-22 07:31:45 +0200
commit8532caf90a0bca7ddf94d24f552b5faa98b0f66a (patch)
tree453bb575fbe5421bce3ca1453a233edac0fd478b /dev
parent000c1e636b033c57fc070d323140f9e26296b9c0 (diff)
Add a two-list monadic fold_left iterator.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions