On Wed, Apr 9, 2014 at 4:29 PM, Chris Warburton <chriswarbo@googlemail.com> wrote:
Likewise (implementations of) SPARK ADA, Haskell and Isabelle are
open source; does this make them untrustworthy?

By open source, I think Andrew meant something like general-purpose or garden-variety or riff-raff or some such, as opposed to something exclusively the province of specialists.

I may be mistaken, however.

-- Kim-Ee