Skip to content

Use pattern matching in various places#538

Merged
srittau merged 1 commit intomainfrom
use-pattern-matching
Jan 8, 2026
Merged

Use pattern matching in various places#538
srittau merged 1 commit intomainfrom
use-pattern-matching

Commits

Commits on Jan 8, 2026