diff options
| author | Adam Bard <github@adambard.com> | 2016-03-26 14:16:24 -0700 |
|---|---|---|
| committer | Adam Bard <github@adambard.com> | 2016-03-26 14:16:24 -0700 |
| commit | de993590ac70e48a49938b5a8d6bac763694e5c1 (patch) | |
| tree | 6332ba11c597f14818a04de605fce5e414c0d792 /zh-cn | |
| parent | 3d6cf715df4ced9854243f30ad40937be68b656e (diff) | |
| parent | a69b31cd3e2a29bbe130be4b90d1a8d0d72a813b (diff) | |
Merge pull request #2208 from juan70/ocaml-filter
Change anonymous function in List.filter example
Diffstat (limited to 'zh-cn')
0 files changed, 0 insertions, 0 deletions