diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-29 13:43:03 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-06-29 13:43:03 -0400 |
| commit | a6fe61b6001857907f40f54e45964d46b754a30d (patch) | |
| tree | d26601230012705faabc97ead397f145250707c7 /folkwisdom.md | |
| parent | 8eec11bfb6d97a3cbb21e74f26c469157c58e2d8 (diff) | |
Fix the sense of op_{get,with}_carry in Saturated
Now it lines up with the things in Z.Definitions
Diffstat (limited to 'folkwisdom.md')
0 files changed, 0 insertions, 0 deletions