Just started going through the tutorial, and it is, indeed, mega-cool. Btw, here's the identity matrix of size 3: ˙⊞=⇡3 (It takes the range [0,1,2] then oute

Just started going through the tutorial, and it is, indeed, mega-cool. Btw, here's the identity matrix of size 3: ˙⊞=⇡3 (It takes the range [0,1,2] then outerproducts it with itself through equality.)