Idris2Doc : Data.NumIdr.Array

Data.NumIdr.Array

(source)
Reexports
import public Data.NumIdr.Array.Array
import public Data.NumIdr.Array.Coords
import public Data.NumIdr.Array.Rep