feat: add `Fin.any` and `Fin.all`#1435

Open

fgdorais wants to merge 4 commits intomainfrom

Commits on Sep 29, 2025

feat: add `Fin.any` and `Fin.all`
fgdorais
committed

Commits on Sep 30, 2025

feat: tie `Fin.all`/`Fin.any` with `List.all`/`List.any`
fgdorais
committed

Commits on Oct 5, 2025

fix: typo
fgdorais
authored

Commits on Oct 12, 2025

chore: merge main
fgdorais
committed