Closed epatters closed 8 months ago
In particular, for https://github.com/AlgebraicJulia/Catlab.jl/pull/856.
@KevinArlin , I can't get the tests working: a function change_theory is called which doesn't seem to be defined anywhere.
change_theory
In particular, for https://github.com/AlgebraicJulia/Catlab.jl/pull/856.
@KevinArlin , I can't get the tests working: a function
change_theory
is called which doesn't seem to be defined anywhere.