Repository navigation

Propagate predicate types to pattern variables - #110

Merged

dak2 merged 1 commit into

mainfrom

pattern-variable-type-propagation

Apr 5, 2026

Merged

Propagate predicate types to pattern variables#110
dak2 merged 1 commit into
mainfrom
pattern-variable-type-propagation

Commits on Apr 5, 2026
- Propagate predicate types to pattern variables in case...in
  
  dak2
  and
  claude
  committed
  5c86bba