Jaye Mathisen <mrcpu@internetcds.com> writes: > FreeBSD 3.4, NNTPcache 2.4.0b3... This bug never affected NetBSD. It's fixed for linux in 2.4.0b4, I haven't tested freebsd, but please try and let the list know. Cheers, Julian. -- 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].
