On Thu, Jan 6, 2011 at 3:29 PM, Robby Findler <[email protected]> 
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
_________________________________________________
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/users

Reply via email to