diff options
| author | 2022-11-30 10:45:04 +0100 | |
|---|---|---|
| committer | 2022-11-30 10:45:04 +0100 | |
| commit | 51da810a7b96efd5ed80f41df6ac1ca70851e311 (patch) | |
| tree | 4d64d6b3a81ea240fabbb3a354c4e0560d1c544e /index.html | |
| parent | Handle the base cases explicitly to be safe (diff) | |
Revert changes to the semantics of sum-comparator
Also changed one-comparator and zero-comparator back to comparator-one
and comparator-zero, because they’re comparators which are of the
effect of one or zero, rather than comparators for the values 1 and 0.
Diffstat (limited to 'index.html')
0 files changed, 0 insertions, 0 deletions
