https://github.com/zenspider/RecImpl/blob/master/main.rkt

I now pass redex-check w/ 1000 passes! I’d love eyeballs and critique.

This might be useful to others:

https://github.com/zenspider/schemers/blob/master/racket-summerschool/driver.rkt

It can run code by injecting a hash-lang and running it in-process (instead of writing out a file and making a system call). It is still slow because it is doing that for Records1 (reloading the redex model every time). But I didn’t know the right way to compare a value from redex vs output from my compiler.