Idris2Doc : Statistics.Distribution.Geometric

Statistics.Distribution.Geometric

(source)

Definitions

gsl_geometric : Double -> GslRng -> IO Nat
Visibility: export
gsl_geometric_pdf : Double -> Nat -> Double
Visibility: export