Introduction

The ML Top Loop provides an interactive interface to ML. You can use it to evaluate ML expressions and declarations. Specific Nuprl -related uses  for the ML Top Loop include:

1. controlling the library window ,
2. loading  and dumping theories ,
3. editing library objects,
4. exploring the Nuprl state ,
5. experimenting with Nuprl functions.
6. loading ML files ,

The ML-Top-Loop runs in its own Nuprl window   which is created when Nuprl is started up. This window is a term editor  window , so most of the commands described in Chapter work in it.

The rest of this section is divided in two. The first part introduces you to the ML Top Loop , and tells you enough about it to get started with the Nuprl system. This part does not assume familiarity with Chapter . It should be sufficient for you to work through the ML examples in the tutorial section of the Nuprl ML Manual . The second part describes in more detail the functionality of the top loop, and does assume you have some familiarity with the contents of Chapter .