GitHub repository: lambdacasserole/probability
Primary language: Idris
Description: Probabilistic computation in Idris