It's likely following HTDP:
https://htdp.org/
It could be following PLAI:
https://plai.org/
But that's not normally run as an introductory course, which is what OP mentioned Racket being used for.
