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