Idris2Doc : Constants

Constants

(source)
Common tensor constants.

Definitions

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