Idris2Doc : Dinwiddy.Matrix

Dinwiddy.Matrix

(source)

Definitions

UnsafeMatrix2 : Type->Type
  Generic unsafe 2D Matrix type.

Visibility: public export
Matrix2 : Vect2Nat->Type->Type
  Generic safe 2D Matrix type

Visibility: public export