Idris2Doc : Statistics.Distribution.Dirichlet

Statistics.Distribution.Dirichlet

(source)

Definitions

gsl_dirichlet : Vect (S n) Double -> GslRng -> IO (Vect (S n) Double)
Visibility: export
gsl_dirichlet_pdf : Vect (S n) Double -> Vect (S n) Double -> Double
Visibility: export