This is an unofficial reimagining of the Archive of Formal Proofs
HOLCF-Preludeby Joachim Breitner, Brian Huffman, Neil Mitchell and Christian Sternagel