Articles tagged with vector spaces

Wed 03 December 2014

Type-safe vector addition with Dependent Types