Giters
fieldstrength
/
probability
Probabilistic computation in Idris
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
33
Watchers:
3
Issues:
1
Forks:
4
fieldstrength/probability Issues
Library incompatible with recent Idris versions
Updated
5 years ago