Notes and exercises for the book "Algebra Driven Design" - View it on GitHub