Skip to content

Add \exhaustive\ annotation to exhaustive match blocks#75

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

Add \exhaustive\ annotation to exhaustive match blocks#75
SeanTAllen merged 1 commit into
mainfrom
sean/add-exhaustive-match-annotation

Commits

Commits on Mar 1, 2026