Skip to content

chore(functorial): back to ts...#22

Merged
fcrozatier merged 4 commits into
mainfrom
back-to-ts
Nov 6, 2025
Merged

chore(functorial): back to ts...#22
fcrozatier merged 4 commits into
mainfrom
back-to-ts

Commits

Commits on Nov 6, 2025