From: Grant Rettke (grettke at acm.org) Date: Thu Feb 19 14:56:20 EST 2009 |
|
Hi, I haven't got a clue as to where to even begin understanding what PLT Redex solves or how to use it in understanding the R6RS formal semantics. What is this area of study and where does a person start with this stuff? Best wishes, Grant
Posted on the users mailing list. |
|