Idris2+WebGL, part #12: Linear algebra with linear types... not great
When writing 3D software, it is quite common to use some linear algebra in performance-critical code....
Tags: idris, functional, math