Further reading
To learn more about the topics that were covered in this chapter, take a look at the following resources:
- The pretty-printing library documentation
- https://hackage.haskell.org/package/pretty-1.1.3.6/docs/Text-PrettyPrint.html
- The original paper on the contracts DSL
- Simon L. Peyton Jones, Jean-Marc Eber, Julian Seward: Composing contracts: an adventure in financial engineering, functional pearl. ICFP 2000: 280-292