Idris2Doc
: matrix
Index
Default
Alternative
Black & White
Package matrix - Namespaces
Data.Matrix