diff options
| author | Arnaud Spiwack | 2014-02-27 15:29:03 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-02-27 15:29:03 +0100 |
| commit | edd06dfa60a3535b93da92bdc0f26e412c3e2d6c (patch) | |
| tree | 8fce7f1e6c074db8187f6e13ecbfde438df29568 /dev | |
| parent | 0dfc87c68d5aba5adac079cb62ae504d82b303b9 (diff) | |
Tacinterp: more refactoring.
Introducing List.fold_right and List.fold_left in Monad.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions