Closed solomon-b closed 10 months ago
@masaeedu okay I think I've made all the desired changes. There is definitely more monoidal-functor work to be done but it starts to get out of the scope of this PR.
@masaeedu okay I think I've made all the desired changes. There is definitely more monoidal-functor work to be done but it starts to get out of the scope of this PR.