[Kerrick]

It could be following PLAI:

https://plai.org/

[Jtsummers]

But that's not normally run as an introductory course, which is what OP mentioned Racket being used for.