Don't throw away the right hand time of changes #36

Merged
TheZoq2 merged 3 commits from double_sided_query into main 2023-12-13 08:56:15 +00:00

3 commits

Author SHA1 Message Date
TheZoq2 e2e3541e3f Refactor the double-sided-query to make it less error-prone 2023-12-05 16:44:19 +01:00
TheZoq2 7d414f36dd Correctly compute next index 2023-12-05 14:59:04 +01:00
TheZoq2 9a8c2a03eb Don't throw away the right hand time of changes 2023-12-05 14:29:46 +01:00