Summary statistics for Idris 2 This library contains: a data definition for probability, definitions around error function and CDF of the normal distribution, and some definitions for calculating confidence interval for binomial distribution.