[racket] tutorials on using redex

Second edition, now newer and better, currently being written (but most of
the way there):

http://www.cs.brown.edu/courses/cs173/2012/book/


On Sun, Nov 4, 2012 at 9:55 AM, Asumu Takikawa <asumu at ccs.neu.edu> wrote:

> On 2012-11-02 12:21:25 -0700, geb a wrote:
> > I've been working with redex (a little bit) trying to work my way
> > through "Semantics Engineering".  Is there anything resembling an
> > idiots guide to programming languages?
>
> You could try reading PLAI, which is a great book and available online:
>   http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/
>
> Also, have you seen the Amb tutorial in the Redex docs?
>   http://docs.racket-lang.org/redex/tutorial.html
>
> Cheers,
> Asumu
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20121104/033f7eb1/attachment.html>