Skip to content

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

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
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

A bound index is not a free variable

7af68be
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar