Idris2Doc : Data.Tensor

Data.Tensor

(source)

Reexports

importpublic Data.Tensor.Tensor
importpublic Data.Tensor.Utils