Idris2Doc : Spidr.Constants

Spidr.Constants

Common tensor constants.

Definitions

pi : Tensor [] F64
Totality: total
Visibility: export