This repository has been archived by the owner on Jul 8, 2024. It is now read-only.

Normative: bugfix: do not count ~empty~ in set sizes#105

Merged

bakkot merged 1 commit intomainfrom fix-size

Feb 6, 2024

+24-9

Commits on Dec 20, 2023

Normative: bugfix: do not count ~empty~ in set sizes
bakkot
committed