Subject: Re: pkg request
To: Thomas Klausner <>
From: Julian Assange <>
List: tech-pkg
Date: 02/07/2000 16:18:00
Thomas Klausner <> writes:

> Hi!
> Regarding links:
> I got the same mail Julian got, and made a package of it right away,
> which has been in pkgsrc/www/links since January 22nd.

Excellent, thanks Thomas!

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].