Functional languages like Miranda are used increasingly to teach introductory programming courses. The clear and elegant syntax, freedom from side-effects and amenability to proofs of program correctness all help to foster a disciplined approach to programming. This book introduces Miranda at a level appropriate for students with little or no prior experience of programming. The emphasis is on the process of crafting programs, solving problems, and avoiding common errors. Author's support page for the book  This site includes the program text, sample solutions to the exercises and a teacher's guide.