Idris2Doc
: Statistics.Distribution.Geometric
Index
Default
Alternative
Black & White
Statistics.Distribution.Geometric
(
source
)
Definitions
gsl_geometric
:
Double
->
GslRng
->
IO
Nat
Visibility
:
export
gsl_geometric_pdf
:
Double
->
Nat
->
Double
Visibility
:
export