Documenting, Testing, and Verifying

  • Alejandro Serrano Mena


At this point you know many of the features and intricacies of the Haskell language and many of its libraries. This chapter won’t teach you any more about the language but rather will focus on some tools that help you in the process of coding libraries and applications. These tools support good engineering practices within Haskell.


Binary Tree Test Suite Internal Node Formal Verification Proof Assistant 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Alejandro Serrano Mena 2014

Authors and Affiliations

  • Alejandro Serrano Mena
    • 1
  1. 1.MadridSpain

Personalised recommendations