My attempt to summarize selected topics from "The Pragmatic Programmer" book by Andy Hunt and Dave Thomas in presentation slides used in 2-hour long workshop for my team. I don't have any connection ...

Two topics, rarely discussed elsewhere, are covered in detail: effective dependently typed programming (making productive use of a feature at the heart of the Coq system) and construction of ...