An experimental port of the Haskell library prob-fx for probabilistic programming to Idris2.
-
Notifications
You must be signed in to change notification settings - Fork 1
An experimental port of the probabilistic language ProbFX from Haskell to Idris2.
License
idris-bayes/prob-fx
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
An experimental port of the probabilistic language ProbFX from Haskell to Idris2.