Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Install a pretty printer for the Fun.Finally_raised exception (#9266) | Guillaume Munch-Maccagnoni | 2020-04-13 | 1 | -0/+4 |
* | Improve protect | Guillaume Munch-Maccagnoni | 2019-02-03 | 1 | -0/+15 |
* | Stdlib: add Fun module. (#2129) | Daniel Bünzli | 2018-11-06 | 1 | -0/+19 |