diff options
| author | Brian Campbell | 2019-10-18 14:43:11 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-10-18 14:45:47 +0100 |
| commit | 73475b844cb09f06c78d8f8a426e9de0eeffc367 (patch) | |
| tree | cb6cbe65b0a715bdf62c466ac68a767de9333171 /src | |
| parent | f9be5b3bba7113f62cb0d911eb634cc126782785 (diff) | |
Coq: tweak a state monad lifting rule to improve performance
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions