[racket] tutorials on using redex

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Sun Nov 4 10:12:51 EST 2012

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/1e9f018b/attachment.html>

Posted on the users mailing list.