Idris2Doc : Data.NumIdr

Data.NumIdr

(source)

Reexports

importpublic Data.Permutation
importpublic Data.NumIdr.Interfaces
importpublic Data.NumIdr.Array
importpublic Data.NumIdr.Scalar
importpublic Data.NumIdr.Vector
importpublic Data.NumIdr.Matrix
importpublic Data.NumIdr.Homogeneous
importpublic Data.NumIdr.Transform