GitHub repository: BlackBrane/probability
Primary language: Idris
Created: 2015-08-04T20:50:54Z
Description: Probabilistic computation in Idris