About this release

This is Miranda release two of October 1989 lightly revised in May 2006.
Some  minor bugs and portability issues have been addressed and parts of
the manual rewritten for clarity and to remove  out  of  date  material.
The language and main features of the system interface remain unchanged.

Miranda release two had the  following  main  additions,  compared  with
release one
        the library directive %free (for parametrised scripts)
        unbounded size integers
Both compiler and run time system are also significantly faster.

The online manual pages are primarily intended to document the system at
the  level  required by an experienced user (meaning someone who already
knows quite a lot about programming and programming  languages  and  has
some  previous experience of functional programming). There is a certain
amount of tutorial material, but if you are  a  beginner  to  functional
programming  you  may  find parts of the manual hard to follow, and will
need to seek help elsewhere.

The following paper gives a useful  summary  of  the  main  features  of
Miranda:
  D. A. Turner "An Overview of Miranda", SIGPLAN Notices, December 1986.
A copy of this paper is included in the manual pages, but this and other
information about Miranda can be found on the world wide web at
        miranda.org.uk

The following text book can be ordered from an internet bookseller
  Simon Thompson "Miranda: the Craft of Functional Programming",
  Addison-Wesley, 470 pages, 1995.
        ISBN 0-201-42279-4 (Paperback)
A webpage for the book by the author is at
        www.cs.kent.ac.uk/people/staff/sjt/Miranda_craft/
or follow the link under BOOKS at miranda.org.uk.

Another good text book is
  Chris Clack, Colin Myers & Ellen Poon "Programming with Miranda",
  Prentice Hall, 312 pages, 1995.
        ISBN 0-13-192592-X
The rights in this book have reverted to the  authors  who  have  kindly
made it available online - follow link under BOOKS at miranda.org.uk.

The following text book was the one originally recommended for use  with
Miranda.   It  is  a  tutorial  text  aimed at undergraduates learning a
functional language as their first programming language but  is  equally
suitable  for a graduate course on functional programming.  The notation
used in the book is closely based on Miranda:-
  Richard Bird & Philip Wadler
  "An Introduction to Functional Programming",
  Prentice Hall, 293 pages, March 1988.
        ISBN 13-484189-1 (Cloth)
        ISBN 13-484197-2 (Paper)
Unfortunately it is now out of print but it may be  possible  to  obtain
second hand copies or you may find it in a library.