We assume you have set things up as described in the previous section.
![]()
![]()
It will take a few seconds for Nuprl to start up. When it does, Nuprl 's two main windows, the ML-Top-Loop window!ML-Top-Loop } and the Library window should open up on your display. The ML-Top-Loop window should look like

The Lisp underlying Nuprl is running in the window in which you typed nuprl. Since output from the ML Top Loop and error messages
are written to this window, it is a good idea to keep it visible.
Nuprl is now ready for use.