Skip to content

Add \exhaustive\ annotation to exhaustive match blocks#37

Merged
SeanTAllen merged 1 commit intomainfrom
sean/add-exhaustive-match-annotation
Mar 1, 2026
Merged

Add \exhaustive\ annotation to exhaustive match blocks#37
SeanTAllen merged 1 commit intomainfrom
sean/add-exhaustive-match-annotation

Commits

Commits on Mar 1, 2026