Closed agonzalezl closed 3 years ago
Catlab library was update on Mar 2020, renaming "Doctrines" module to "Theories" in this update:
https://github.com/AlgebraicJulia/Catlab.jl/pull/166
So, with the last version of Catlab, the program always returns "ERROR: UndefVarError: Doctrines not defined"
Catlab library was update on Mar 2020, renaming "Doctrines" module to "Theories" in this update:
https://github.com/AlgebraicJulia/Catlab.jl/pull/166
So, with the last version of Catlab, the program always returns "ERROR: UndefVarError: Doctrines not defined"