Skip to content

Add annotations to argmin and argmax#325

Merged
inducer merged 3 commits intoinducer:mainfrom
alexfikl:type-argmax
Sep 10, 2025
Merged

Add annotations to argmin and argmax#325
inducer merged 3 commits intoinducer:mainfrom
alexfikl:type-argmax

Commits

Commits on Sep 10, 2025