search

AlgebraicJulia / Catlab.jl

A framework for applied category theory in the Julia language
https://www.algebraicjulia.org
MIT License
608 stars 58 forks source link

Delete extraneous SigmaMigration method #906

Closed kris-brown closed 4 months ago

kris-brown commented 5 months ago

See https://github.com/AlgebraicJulia/Catlab.jl/issues/903

epatters commented 4 months ago

I will go ahead and merge since we haven't heard back from the OP. If problems persist we can revisit.