Appendix: The Standard module

The standard environment for Hope, implicitly used by every session and module.


Subsections

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