ReilySiegel/prob-fx
An experimental port of the probabilistic language ProbFX from Haskell to Idris2.
IdrisBSD-3-Clause
No issues in this repository yet.
An experimental port of the probabilistic language ProbFX from Haskell to Idris2.
IdrisBSD-3-Clause
No issues in this repository yet.