Explorations in relations and the algebra of programming - View it on GitHub