[Haskell-cafe] Why purely in haskell?

[Graham Fawcett]

On Jan 9, 2008 6:20 PM, Don Stewart <dons at galois.com> wrote:
> anton:
> > Oh dear - I'm going to have to rethink the paper I was working on,
> > provisionally titled "In defense of arbitrary untracked effects in high
> > assurance software."  ;)
>
> That would be an awesome paper :)

Hear, hear!

Anton, if you're looking for a co-author, and you're willing to tackle
the high-assurance parts, I have years of experience with arbitrary
untracked effects. ;-)

Graham