| From: Prabhakar Ragde (plragde at uwaterloo.ca) Date: Mon Mar 17 16:16:21 EDT 2008 |
|
Geoff Knauth quoted: >> > Subject: Is there a Scheme version of this game? >> > >> > http://www.c-jump.com Aren't there laws against child abuse? Seriously, some of the aspects of defining and evaluating S-expressions reminded me a little of the old Wff'n Proof game, which, in Googling about, I am pleased to learn still has some presence. http://wffnproof.com/ Adapting this could well work. Certainly for the lambda calculus, but maybe beyond that. --PR
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}