9 Apr
2014
9 Apr
'14
9:57 a.m.
On Wed, Apr 9, 2014 at 4:29 PM, Chris Warburton
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