CHAPTER 3 Using ABC
Using ABC INTRODUCTION TYPING TO ABC 2.1 Suggestions 2.2 Undoing mistakes 2.3 Typing brackets and quotes IMMEDIATE COMMANDS 3.1 Permanent locations 3.2 Deleting locations 3.3 Finishing an ABC session 3.4 Other immediate commands 3.5 Interrupting a running command MORE ON TYPING 4.1 Indentation 4.2 Capital letters 4.3 Redisplaying the screen THE FOCUS 5.1 Moving the focus up and down lines 5.2 Correcting whole lines MAKING YOUR OWN COMMANDS 6.1 Functions 6.2 Predicates 6.3 Refinements 6.4 Making changes 6.5 Correcting errors 6.6 Renaming and deleting how-to's OTHER FOCUS MOVES 7.1 Making the focus smaller 7.2 Making the focus larger 7.3 Moving the focus sideways 7.4 Moving a single hole 7.5 Using a mouse COPYING AND RECORDING 8.1 Dealing with brackets and quotes 8.2 Recording WORKSPACES 9.1 Changing the contents of locations 9.2 Moving things between workspaces SOME COMMON MISTAKES 10.1 Uninitialised locations 10.2 Incompatible types 10.3 Ambiguous expressions AN EXAMPLE SUMMARY O...