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 <s...@cs.brown.edu> wrote:
From: Shriram Krishnamurthi <s...@cs.brown.edu>
Subject: Re: [racket] tutorials on using redex
To: "Grant Rettke" <gret...@acm.org>
Cc: "Asumu Takikawa" <as...@ccs.neu.edu>, "geb a" <ge...@yahoo.com>,
"users@racket-lang.org" <users@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.
____________________
Racket Users list:
http://lists.racket-lang.org/users
