3 ms·Eigenstuff with diagrams: string diagrams as specification language for matrices2 points by graphlinalg 9y ago