Major milestone for ZX-alike calculi: now for all finite dimensions, with completeness theorem. I.e. for all dimensions any equation derivable using Hilbert space maths, is derivable with pictures! ZXW moreover allows for differentiation, integration and exponentiation.
One of the high school student went on publishing a paper applying what he learned during the course, but I can't find it anymore.
