Skip to content
This repository was archived by the owner on Mar 12, 2026. It is now read-only.

Add \exhaustive\ annotation to exhaustive match blocks#23

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

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