Examplesdirectory in the standard library.
An unckecked declaration is marked with a fat, red vertical bar. An error message is inserted as a comment before the first unckecked declaration. At present, when an erroneous declaration is encountered, all declarations after it are left unchecked too.
A limited set of editing commands,
available inside unchecked declaration. There is also a command
Check Again that re-checks a declaration and possibly returns
it to the normal (checked) state.
-completionsflag. In this mode, a string entry field appears on top of a place holder when you select it. In it, you can enter a name to refine with (more precisely, any command that would be shown in the menu window in the normal mode). The Space bar is used for completion (e.g., filling in the remainender of a name if there is only one possible alternative, or listing the possible alternatives). You sometimes need to use the Tab key to activate the string entry field.
Unfold goal typesuse definitions to unfold applications in goal types as far as possible.
Don't unfold goal typesdoes not unfold applications. The former option usually unfolds more than desirable, the latter less than desirable. A future version of Alfa will give the user much finer control of the unfolding.
Give in English. This uses Aarne Ranta's natural languages parser. It has a limited vocabulary: it understands some arithmetic and geometry. See
Ranta/REAMDEfor further information. The file
Ranta/arithm.halfcontains some definitions referred to by the parser output.
Evaluate Expressionswindow. Click on the small dots.
(Type)) in the text representation of expression.
sigexpressions). The default layout can be selected from the
Viewmenu. The layout of an individual expression can be changed by selecting it and choosing a new layout from the menu window. Layout options are not saved yet.
Hide expressionin the menu window. Use the
Reveal hidden expressioncommand to reveal the expression again.
Compact Notationis on, nested case expressions are collapsed into single case expressions with nested patterns.
caseexpression by shift-clicking on a variable. By clicking on a variable in a pattern you can create a nested pattern.
Font Size...to the
Viewmenu. It allows you to change the overall size of the text in the editing window, as with the command line option
-fontsize, without having to restart Alfa.
datatypes and adding and deleting branches in existing
caseexpressions. This is explained in the User's Guide.
ND Style proof
Viewmenu are. (There are still some minur bugs to fix. For example, the settings in the
Viewmenu are not updated when a new document is opened.)
Undo/Redocommands now undo and redo all the effects of the
Open...commands. This means that Alfa shows the right file name in the window title bar and that the
Save As...commands save the document to the right file.