[racket] raise vs abort

On Thu, Jan 6, 2011 at 3:29 PM, Robby Findler <robby at eecs.northwestern.edu> wrote:

> If you wanted to try, I'd suggest adapting the redex model and then
> using random testing to try to find the difference.....

'By adapting the redex model' means to implement 
those operators discussed above in the redex? 
Then I first need to understand their semantics; 
do you have good references besides docs?
I enjoy reading the source written in Racket, but the C part is tougher...

Keiko