Subject: Re: share vs. share/games (vs. /var/games)
To: Ignatios Souvatzis <>
From: Julian Assange <>
List: tech-pkg
Date: 03/09/2000 18:52:21
Ignatios Souvatzis <> 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].