[racket] tutorials on using redex

Thank you all!  I am working through plai and I do recognize some of the connections.  The amb tutorial is indeed helpful.  I will keep working on it.
 
Thank you!
 
Dan

--- On Sun, 11/4/12, Shriram Krishnamurthi <sk at cs.brown.edu> wrote:


From: Shriram Krishnamurthi <sk at cs.brown.edu>
Subject: Re: [racket] tutorials on using redex
To: "Grant Rettke" <grettke at acm.org>
Cc: "Asumu Takikawa" <asumu at ccs.neu.edu>, "geb a" <geb_a at yahoo.com>, "users at racket-lang.org" <users at racket-lang.org>
Date: Sunday, November 4, 2012, 7:12 AM


Currently: indirectly, yes, directly, no.  But I plan to write up some material that will make the transition from PLAI 2/e to SEwPR.  


Half the problem is one of notation, which can be explained.  


But PLAI covers explicitly many things that SEwPR seewps under the rug by virtue of assuming you already know how to study languages and are now interested in acquiring advanced tools for doing so.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20121104/03f513e3/attachment.html>