- 24 days of Hackage, 2015: day 1: Introduction and Stack http://conscientiousprogrammer.com/blog/2015/11/30/haskell-tidbits-24-days-of-hackage-2015-day-1-introduction-and-stack/ 77 comments haskell
- Introduction to sbv (high-level DSL for using Z3 or other solvers) from 24 Days of Hackage https://ocharles.org.uk/blog/guest-posts/2013-12-09-24-days-of-hackage-sbv.html 6 comments haskell