Date: 14 Oct 1999 09:25:24 +1000 From: Julian Assange <proff@iq.org> To: Josh <jastrckl@LATTE.MEMPHIS.EDU> Cc: proff@iq.org Subject: Re: festival-1.4.0 + mbrola (state of the art speech synth) ported to NetBSD Message-ID: <wxemeylu6z.fsf@suburbia.net> In-Reply-To: Josh's message of "Wed, 13 Oct 1999 17:52:56 -0500 (CDT)" References: <Pine.PMDF.3.95.991013175229.545334904A-100000@LATTE.MEMPHIS.EDU>
next in thread | previous in thread | raw e-mail | index | archive | help
Josh <jastrckl@LATTE.MEMPHIS.EDU> writes: > "More lines of code than emacs!" > is this really something to brag about? Who said I was bragging ;) -- 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]. To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?wxemeylu6z.fsf>