[ refactor ] add `rawSetoid` manifest fields to `Algebra.Bundles.Raw`#2536

Merged

JacquesCarette merged 1 commit intoagda:masterfrom

jamesmckinna:pr2194-bis

Jan 1, 2025

Commits on Dec 31, 2024

\[ refactor \] add `rawSetoid` fields to `Algebra.Bundles.Raw`
jamesmckinna
committed