a Linear Algebra library in Idris