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.
-
Notifications
You must be signed in to change notification settings - Fork 0
Summary statistics facilities for Idris2
License
buzden/idris2-summary-stat
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Summary statistics facilities for Idris2
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published