All the code for the definitions given in Miranda The Craft of Functional Programming can be downloaded by clicking as explained below. The archive contains one directory per chapter, and generally within each chapter the definitions are given on a section-by-section basis.
There are also directories containing the main case studies.
The code for the functions defined in the book is available as a compressed tar file. Clicking on the appropriate button will fetch the file, and store it on your local disc.
You will be prompted to give a name to the uncompressed file.
To expand the tar file, type tar xf code.tar on your machine. (If you have chosen to call the file fishcake you will need to type tar xf fishcake.)