Skip to content

doc: record the Array.ofFn call-site audit, and add ofFn' compatibility lemmas - #9048

Merged
kim-em merged 2 commits into
mainfrom
offn-audit
Jul 28, 2026
Merged

doc: record the Array.ofFn call-site audit, and add ofFn' compatibility lemmas#9048
kim-em merged 2 commits into
mainfrom
offn-audit

doc: correct the ofFn audit, and add shim compatibility lemmas

83cf41a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar