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 _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev