Skip to content

Handle patterns of the form H[a_Type,a_Type,...] - #1905

Merged
rocky merged 1 commit into
masterfrom
fix_more_pattern_cases
Aug 24, 2026
Merged

Handle patterns of the form H[a_Type,a_Type,...]#1905
rocky merged 1 commit into
masterfrom
fix_more_pattern_cases

Commits

Commits on Aug 24, 2026