| commit | 37f1fa4bd4c24656c550bbf5a9b49d0bb1903c69 | |
| author | Raymond Toy <toy.raymond@gmail.com> | |
| Sat, 29 Jun 2024 22:13:28 +0000 (29 15:13 -0700) | ||
| committer | Raymond Toy <toy.raymond@gmail.com> | |
| Sat, 29 Jun 2024 22:13:28 +0000 (29 15:13 -0700) | ||
| tree | 75a74c94f1b26df526ae0043066e289e8a613e3b | treesnapshot (tar.gz zip) |
| parent | e3d7de5d84153d876d355b65bb5e40bb6b05c8a5 | commitdiff |
Remove some debugging prints and add comments
We add some comments to `make-defint-assumptions` and `order-limits`
about how the order of the limits may be changed.
We add some comments to `make-defint-assumptions` and `order-limits`
about how the order of the limits may be changed.
| src/defint.lisp | diffblobblamehistory |