Copyright (c) 1989-1996 by Gary T. Leavens.
Permission is granted for you to make copies for educational and scholarly
purposes, but not for direct commercial advantage, provided this notice
appears on all copies.  All other rights reserved.

No guarantees or warranty for anything here.

The prisoners directory contains files for homework 2.
The lambda-prolog-code directory contains files for homework 6.
The mini_cecil_abstract_syntax.ps file is a supplement to homework 7.
The mono_type_inference directory contains files for homework 7.
The mini_cecil_problem directory contains files for homework 7.
The mini_cecil_semantics directory contains files for homework 8.
The mini_cecil_sml directory contains files for homework 9.