With the linear algebra proposal working its way through the committee, the co-authors are considering the first succession paper: adding analytic geometry to the standard library.
This talk will cover the bare bones of the linear algebra proposal and how it can be specialised, then proceed to demonstrate a specialisation of linear algebra to two and three dimensional geometry, and finally offer an API to cover simple functions expected of a geometry library.
Expect an animated discussion of how we represent the world around us!