idris-lang/Idris-dev — pull request #1680 by BlackBrane (2014-10-26 18:51:57+00:00)
Title: Add module Data.Matrix to base

A base module for operations on matrices. Functions are defined for matrices/vectors of generic algebraic classes (mostly rings) for maximum generality. Numeric data types are also instantiated as rings so that these functions will be defined for them.