diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2014-02-24 17:06:42 +0100 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2014-02-24 17:06:42 +0100 |
| commit | fba4a5db9769b3d31256d840923d76335adb64ba (patch) | |
| tree | caa1772c08a4f2386d16e34b089ca520986af46e /checker | |
| parent | b565bb91802982ee67b4b580b68d6fb4c7f93335 (diff) | |
IStream: more efficient implementation of concat_map.
Diffstat (limited to 'checker')
0 files changed, 0 insertions, 0 deletions