Idris2Doc : Data.NumIdr

Data.NumIdr

(source)

Reexports

import public Data.Permutation
import public Data.NumIdr.Interfaces
import public Data.NumIdr.Array
import public Data.NumIdr.Scalar
import public Data.NumIdr.Vector
import public Data.NumIdr.Matrix
import public Data.NumIdr.Homogeneous
import public Data.NumIdr.Transform