Subject: Re: pkg request
To: Thomas Klausner <firstname.lastname@example.org>
From: Julian Assange <email@example.com>
Date: 02/07/2000 16:18:00
Thomas Klausner <firstname.lastname@example.org> writes:
> 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].