Skip to content

Loops over local storage: an invariant's definedness at the head, and initialization kept across iterations - #74

Merged
SwayamInSync merged 100 commits into
mainfrom
fix/invariant-definedness
Oct 24, 2026
Merged

Loops over local storage: an invariant's definedness at the head, and initialization kept across iterations#74
SwayamInSync merged 100 commits into
mainfrom
fix/invariant-definedness

docs: Describe definedness and initialization at a loop's head in the…

57b9e8e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar