Closed epatters closed 8 months ago
I assume this is temporary due to dependence on Catlab#main but Manifests generally shouldn't be committed as they fix the package versions too firmly. This should be removed once the next version of Catlab is released.
I assume this is temporary due to dependence on Catlab#main but Manifests generally shouldn't be committed as they fix the package versions too firmly. This should be removed once the next version of Catlab is released.