Great project but very weird choice of language.
How probable is it (pun intended) that the person coming to learn about probabilistic programming would already know functional programming?
Heck, I spent months on a binge reading functional programming research papers, and it still doesn't mean I know any functional languages other than very superficially.