Skip to content

Add queries for lower generic and lower generic predicates#590

Merged
nilehmann merged 1 commit intomainfrom nico/lower-queriesJan 2, 2024

Commits

Commits on Dec 29, 2023