diff options
| author | Brian Campbell | 2019-07-29 17:52:31 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-07-29 17:53:06 +0100 |
| commit | bc3e7dac1bc99a0a0a3ec89387aadcf279a0c438 (patch) | |
| tree | 07a8267d5a1e661cc79134b587226ed6d7680ec7 /src | |
| parent | ef0082e8e9d6ec05be507a402ca3e4ac64f297cd (diff) | |
Coq: add state monad version of while/until loops and lifting results
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions