[racket-dev] the racket machine

Hi folks: Casey, Matthew, and I have just sent out a paper to HOSC
about the racket machine. I know there are a bunch of people working
on things at that level, so if you have a chance to take a look at
this, you might find it useful as you muck about down there (there are
examples and things :). Do let us know if you spot any typos too, as
we still have some time to fix small stuff.

  http://plt.eecs.northwestern.edu/racket-machine/

Robby