[Haskell-cafe] ANN: theoremquest-0.0.0

[Daniel Peebles]

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 <colinpauladams at googlemail.com
> wrote:

> On 28 February 2011 14:59, Tom Hawkins <tomahawkins at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110228/a1d5f0ed/attachment.htm>