Miranda System Manual   Copyright Research Software Limited 1989

 1. How to use the manual system    20. Algebraic types
 2. About the name "Miranda"        21. Abstract types
 3. About this release              22. Placeholder types
 4. The Miranda command interpreter 23. The special function show
 5. Brief summary of main commands  24. Formal syntax of Miranda scripts
 6. List of remaining commands      25. Comments on syntax
 7. Expressions                     26. Miranda lexical syntax
 8. Operators                       27. The library mechanism
 9. Operator sections               28. The standard environment
10. Identifiers                     29. Literate scripts
11. Literals                        30. Some hints on Miranda style
12. Tokenisation and layout         31. UNIX/Miranda system interface
13. Iterative expressions           32. -->> CHANGES <<--
14. Scripts, overview               33. Licensing information
15. Definitions                     34. Bug reports
16. Pattern matching                35. Notice
17. Compiler directives
18. Basic type structure            99. Create a printout of the manual
19. Type synonyms                   100. An Overview of Miranda (paper)

