@mflatt (and others) I’m happy to report that pycket can now compile and run racket/main.rkt as well as raco make, and also today I got a modified version of basic.rktl to run to the end. So pycket now feels like a real implementation of racket, in a way it didn’t yesterday.