Quitting

The statement

> quit;

terminates the current Magma session. Control-D or exit; is an alternative to this statement.

If you want to save the workspace before quitting Magma, use the save-statement. See Saving and restoring Magma states.