Skip to content

docs(functorial): improve readme#33

Merged
fcrozatier merged 5 commits into
mainfrom
readme
Nov 17, 2025
Merged

docs(functorial): improve readme#33
fcrozatier merged 5 commits into
mainfrom
readme

Commits

Commits on Nov 17, 2025