\documentstyle[11pt]{article}
\nofiles
\input{use-full-page}

\begin{document}
\noindent
~
\hfill CS 541 --- Principles of Programming Languages
\hfill \today \\

\begin{center}
{\huge Running OBJ on HP-UX}
\end{center}

\section{The Interpreter}

The OBJ3 interpreter is called {\tt obj}.
It is invoked interactively.
The interpreter reads statements from your terminal, executes them,
and then prints the resulting term.
It is best to edit OBJ source code in an editor
and then read in modules using the {\tt input} command.
For example
\begin{verbatim}
input list
\end{verbatim}
will read in the file {\tt list.obj},
note that the suffix {\tt .obj} is assumed by the interpreter.

To exit the interpreter, use the end-of-file character (control-D).
(If you get into the common lisp interpreter by an error,
you can exit that in the
same way, or you can type {\tt :q} to get back to OBJ3.)

See appendix A of ``Introducing OBJ3'' for details about the commands.
The most useful commands are {\tt input}, {\tt reduce}, {\tt show}, {\tt set},
and {\tt red-loop}.

Some examples are found in {\tt /usr/local/lib/obj}.
Examples discussed in lecture and possibly some others will appear in
\begin{verbatim}
~leavens/cs541public/obj
\end{verbatim}
on snowhite.

\end{document}