Idris2Doc : Constants

Constants

Common tensor constants.

Definitions

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