Replace Query and QueryOption with better API #35

Merged
wojtek merged 3 commits from 34---replace-query-and-queryoption-with-better-api into main 2023-04-14 10:24:24 +02:00

3 Commits

Author SHA1 Message Date
318473c5fe Clever iterators 2023-04-14 00:23:16 +02:00
dcf82e88ff Use sets for queries 2023-04-14 00:17:30 +02:00
9192c4bdb4 New way to do queries 2023-04-13 23:53:22 +02:00