diff options
| author |  Peter McGoron
| 2021-10-16 13:40:43 -0400 |
|---|---|---|
| committer | Peter McGoron
| 2021-10-16 13:40:43 -0400 |
| commit | af24722b2e0fbfcc10c4ff81801a409898362cc5 (patch) | |
| tree | fc4726ea78bb6fc4d5dffe3418e38c4cbb284389 /dune-project | |
| parent | add a boolean to the monad to be more flexible with error management (diff) | |
add check function
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions