[Haskell-cafe] ANN: theoremquest-0.0.0
Colin Adams
colinpauladams at googlemail.com
Mon Feb 28 17:02:29 CET 2011
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 <pumpkingod at 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 <
> 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
>>
>>
>
--
Colin Adams
Preston, Lancashire, ENGLAND
() ascii ribbon campaign - against html e-mail
/\ www.asciiribbon.org - against proprietary attachments
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110228/f2e475c6/attachment.htm>
More information about the Haskell-Cafe
mailing list