diff options
| author | Son Ho | 2022-01-28 12:07:53 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-28 12:07:53 +0100 |
| commit | bb9d21e658630315a7e83bfbdfb7a1b53e3bcc1a (patch) | |
| tree | 0a13b80013d64b7df469d7d5ef3528cfeb00cfec /src/Contexts.ml | |
| parent | a96c9e10cec6b8af30dd1c70214ec9b6db66645f (diff) | |
Remove the Return and Fail variants from Pure.expression and add a
`monadic` boolean field to `Let`
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions