Subject: Re: pkg request
To: Thomas Klausner <wiz@danbala.ifoer.tuwien.ac.at>
From: Julian Assange <proff@iq.org>
List: tech-pkg
Date: 02/07/2000 16:18:00
Thomas Klausner <wiz@danbala.ifoer.tuwien.ac.at> 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].