Re: [Haskell-cafe] [Haskell-Cafe] Constructive Probability Theory and RandProc's σ-algebras

2011-07-06 Thread David Banas
Hi Edward, Thanks for your interest in `RandProc`. I'm very interested in continuing this conversation with you, but I think I'd better read the papers you recommend, below first, so that I can do so intelligently. ;-) In the mean time, I do have these rather imprecise thoughts: (Please, see i

[Haskell-cafe] [Haskell-Cafe] Constructive Probability Theory and RandProc's σ-algebras

2011-07-03 Thread Edward Kmett
On Sun, Jul 3, 2011 at 11:05 AM, David Banas wrote: > v0.4 of `RandProc` has just been posted to Hackage: > http://hackage.haskell.org/package/randproc [NB: I transfered this discussion from haskell to haskell-cafe, and started another thread] I have been spending some time exploring construct