No I haven't. I'm not a mass-market gamer. I'm an ex-hard-core gamer. On 28 February 2011 15:53, Daniel Peebles <pumpkin...@gmail.com> wrote:
> Have you tried it? It's completely addictive (and takes up a big chunk of > my free time). I'm not sure it'll appeal to everyone, but I wouldn't dismiss > it off-hand like that. > > On Mon, Feb 28, 2011 at 10:16 AM, Colin Adams < > colinpaulad...@googlemail.com> wrote: > >> On 28 February 2011 14:59, Tom Hawkins <tomahawk...@gmail.com> wrote: >> >>> I have been wanting to gain a better understanding of interactive >>> theorem proving for some time. And I've often wondered: Can theorem >>> proving be made into a user-friendly game that could attract mass >>> appeal? >>> >> >> No. >> >> I'd wage money on it. >> -- >> Colin Adams >> Preston, Lancashire, ENGLAND >> () ascii ribbon campaign - against html e-mail >> /\ www.asciiribbon.org - against proprietary attachments >> >> _______________________________________________ >> Haskell-Cafe mailing list >> Haskell-Cafe@haskell.org >> http://www.haskell.org/mailman/listinfo/haskell-cafe >> >> > -- Colin Adams Preston, Lancashire, ENGLAND () ascii ribbon campaign - against html e-mail /\ www.asciiribbon.org - against proprietary attachments
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
