[racket] tutorials on using redex

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