Repository navigation

A bound index is not a free variable (#1019) - #1045

Merged

Rafael-SOWNet merged 1 commit into

fix/free-variables-under-a-range-binder

Aug 23, 2026

Merged

A bound index is not a free variable (#1019)#1045
Rafael-SOWNet merged 1 commit into
masterfrom
fix/free-variables-under-a-range-binder

Commits on Aug 23, 2026
- A bound index is not a free variable
  Rafael-SOWNet
  committed
  7af68be