That was the 'in theory' bit. You can create a reader module inside main.rkt using (module+ reader (provide read-syntax)) where read-syntax can be defined in ma

That was the 'in theory' bit. You can create a reader module inside main.rkt using (module+ reader (provide read-syntax)) where read-syntax can be defined in main.rkt or required from elsewhere. Good point though since I actually don't know exactly where to put a reader.rkt file to get the equivalent behavior of defining it as a submodule inside of main.rkt.