diff options
| author | Yu Zhang <583181285@qq.com> | 2017-02-10 01:54:31 -0600 |
|---|---|---|
| committer | ven <vendethiel@hotmail.fr> | 2017-02-10 08:54:31 +0100 |
| commit | d8a3184a73cfbb3be3ab99e7d7e3ebc577d06494 (patch) | |
| tree | 1eeb1f1709e82437351051c51bbf2b6519db7f47 /.gitignore | |
| parent | 45de0120d641cfaac0bb60b25a24782ec106e719 (diff) | |
[standard-ml/en-en] Format fixing and some APIs (#2645)
* [standard-ml/en-en] Format fixing
* [standard-ml/en-en] Add descriptions for `map` and `foldl`
* [standard-ml/en-en] Add myself as a contributor
* review
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions