Reuben

Hmm, actually not entirely sure it ever worked. This is perhaps irrelevant since it looks like we'll remove this. The error looks familiar though.

I'm sort of ok leaving out the Anglican and WebPPL baselines, for two reasons: 1. Neither system is under active development (to my knowledge) 2. Interested readers can simply refer...

Running for different commits would be helpful. Actually something that I would previously have found helpful too is a very simple thing I can run that just tells me: did...

I don't really know, but yeah, I also agree with that reasoning.

I know nothing about nix, so can't help, but I think Tweag has many nixers we could consult.

Hi! Sorry for the slow response. Yes, it sounds interesting to compile monad-bayes into Stan. I can imagine that taking the Free monad representation of a probabilistic program and writing...

Sounds great! Feel free to ask questions if at any point (once you come up for air) you're wanting to understand monad-bayes better. Also check out https://monad-bayes.netlify.app/ , which goes...

@turion Thanks! You can see the somewhat messy branch with the WIP attached to this PR: https://github.com/tweag/monad-bayes/pull/171 You're probably right that a fork would be good. What I did was...

@turion Ah, this is an awesome suggestion, and it seems like the way to go. I'll try it out soon. There's an old branch of monad-bayes that does something similar,...

@dataopt Thanks, algebraic-graphs looks like it would be good for the job. @turion Your suggested refactor worked great! WIP branch is here: https://github.com/tweag/monad-bayes/pull/177