The text book for the course is Programming with Miranda by C. Clack, C. Myers and E. Poon, published by Prentice Hall.
|Contents, preface, introduction and first two chapters|
|Solutions to Exercises|
|Corrigenda. Note - this is essential reading. It lists a large number of printing errors in the book, together with their corrections!||HTML|