Idris2Doc : Constants

Constants

Tensor constants.

Definitions

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