We have just replaced the core rewriting system behind Catlab with a full rewrite! GATlab integration by olynch · Pull Request #847 · AlgebraicJulia/Catlab.jl · GitHub
See my presentation for more details: https://youtube.com/watch?v=Jdl2dh_hY3c, or these blog posts for what happens next! AlgebraicJulia blog - Algebraic geometry for the working programmer, AlgebraicJulia blog - Symbolic presentations of dynamical systems
