[racket] tutorials on using redex

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Sun Nov 4 09:55:43 EST 2012

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:

Also, have you seen the Amb tutorial in the Redex docs?


Posted on the users mailing list.