Comonadic Markov Chain Monte Carlo| jtobin.io
A Simple Embedded Probabilistic Programming Language| jtobin.io
Sorting Slower with Style| jtobin.io
A Tour of Some Useful Recursive Types| jtobin.io
