Skip to content

A condition on a bound name stays in its binder - #1633

Merged
Rafael-SOWNet merged 3 commits into
masterfrom
a-bound-name-stays-in-its-binder
Sep 30, 2026
Merged

A condition on a bound name stays in its binder#1633
Rafael-SOWNet merged 3 commits into
masterfrom
a-bound-name-stays-in-its-binder

The resultant past a linear is taken in whole numbers, which native A…

d4c9cde
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar