Skip to content

Rename slice functors#439

Merged
JacquesCarette merged 2 commits intoagda:masterfrom
Taneb:slice-functor-rename
Nov 7, 2024
Merged

Rename slice functors#439
JacquesCarette merged 2 commits intoagda:masterfrom
Taneb:slice-functor-rename

Commits

Commits on Oct 24, 2024