aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorArnaud Spiwack2014-02-27 14:50:40 +0100
committerArnaud Spiwack2014-02-27 14:50:40 +0100
commit0dfc87c68d5aba5adac079cb62ae504d82b303b9 (patch)
treefb6b99101cab4609188ad74ca8684434a7d19cea /dev
parentd98fdf1ef5789f6d5420e52c34a33debf08584e9 (diff)
Tacinterp: refactoring using Monad.
Adds a combinator List.map_right which chains effects from right to left.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions