summaryrefslogtreecommitdiff
path: root/stdlib/fun.mli
Commit message (Expand)AuthorAgeFilesLines
* Fix typographic issues in the doc of new modules (#8744)Guillaume Munch-Maccagnoni2019-06-261-4/+4
* Improve protectGuillaume Munch-Maccagnoni2019-02-031-1/+31
* Stdlib: add Fun module. (#2129)Daniel Bünzli2018-11-061-0/+33