3 ms·Does this work typecheck matrix operations?by formalsystem 8y agoDoes this work typecheck matrix operations?