Modules

A HOPE module name is a text file name.hop consisting of definitions. The definitions may occur in any order, but identifiers must be appropriately declared before use.

There is a special HOPE module called Standard, which is implicitly imported by every other HOPE module and session.

An interactive session consists of definitions together with other commands.



Ross Paterson <ross@soi.city.ac.uk>