Added real2int and real2nat coercions to hakaru. Rounding errors need to be resolved
Added functions factorial() and choose() for discrete distributions
Adding a bunch of discrete distributions (binomial + transformations)
Adding beta distribution transformations (inverse Beta)
Adding gamma distribution transformations (inverse Gamma, erlang)
Adding some chi distribution transformations (F distribution, T distribution, Cauchy distribution)
Adding uniform distribution transformations (triangle, TSP (incomplete), pareto, standard Power, gompertz)
Added real2int and real2nat coercions to hakaru. Rounding errors need to be resolved
Added functions factorial() and choose() for discrete distributions Adding a bunch of discrete distributions (binomial + transformations) Adding beta distribution transformations (inverse Beta) Adding gamma distribution transformations (inverse Gamma, erlang) Adding some chi distribution transformations (F distribution, T distribution, Cauchy distribution) Adding uniform distribution transformations (triangle, TSP (incomplete), pareto, standard Power, gompertz)