Idris2Doc : Statistics.Norm.Rough

Statistics.Norm.Rough

(source)

Reexports

importpublic Statistics.Norm

Definitions

Rough : InvNormCDF
  Calculation of the inverse of CDF for normal distribution with precision only up to 10^9.
This implementation does not have any external dependencies.

Totality: total
Visibility: export