I really wish I could run church in a notebook as I need a bit more space to experiment in order to solve the problems in probmod.

Maybe just a repl would be enough.

I guess the bottom line is that it made sense to do probmod in a more “normal” programming language. Figuring out the lisp like code and the probabilistic problems at the same time is quite a mouthful.