summaryrefslogtreecommitdiff
path: root/stdlib/fun.ml
Commit message (Expand)AuthorAgeFilesLines
* Install a pretty printer for the Fun.Finally_raised exception (#9266)Guillaume Munch-Maccagnoni2020-04-131-0/+4
* Improve protectGuillaume Munch-Maccagnoni2019-02-031-0/+15
* Stdlib: add Fun module. (#2129)Daniel Bünzli2018-11-061-0/+19