Ignatios Souvatzis <ignatios@cs.uni-bonn.de> writes:

> On Wed, Feb 09, 2000 at 09:55:56PM +0000, David Brownlee wrote:
> > 	Moving the games into $prefix/games would remove the conflict
> > 	between omega and TeX

mmm, omega.

-- 
Stefan Kahrs in [Kah96] discusses the
   notion of completeness--programs which never go wrong can be
   type-checked--which complements Milner's notion of
   soundness--type-checked programs never go wrong [Mil78].