Idris2Doc : Statistics.Distribution.Normal

Statistics.Distribution.Normal

(source)
Definitions
gsl_normal : Double -> Double -> GslRng -> IO Double
  Visibility: export
gsl_normal_pdf : Double -> Double -> Double -> Double
  Visibility: export
gsl_normal_cdf_inv : Double -> Double -> Double -> Double
  Visibility: export