_M_i_r_a_n_d_a_ _S_y_s_t_e_m_ _M_a_n_u_a_l _ _C_o_p_y_r_i_g_h_t_ _R_e_s_e_a_r_c_h_ _S_o_f_t_w_a_r_e_ _L_i_m_i_t_e_d_ _1_9_8_5_-_2_0_2_0

 1. How to use the manual system    20. Algebraic types
 2. About the name "Miranda"        21. Abstract types
 3. About this release              22. Empty types
 4. The Miranda command interpreter 23. The special function _s_h_o_w
 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. Copying
15. Definitions                     34. Bug reports
16. Pattern matching
17. Compiler directives
18. Basic type structure            99. Create a printout of the manual
19. Type synonyms                  100. An Overview of Miranda (paper)