I presume that's this, run in \racket mode? https://github.com/IUCompilerCourse/Essentials-of-Compilation https://github.com/IUCompilerCourse/Essentials-of-Comp

I presume that's this, run in \racket mode? https://github.com/IUCompilerCourse/Essentials-of-Compilation https://github.com/IUCompilerCourse/Essentials-of-Compilatio... I ask because there seems to be a \python mode, too, that folks may find valuable: https://github.com/IUCompilerCourse/Essentials-of-Compilation/blob/4f5e33be37680c5afbb2af346a12ae69def67016/book.tex#L36 https://github.com/IUCompilerCourse/Essentials-of-Compilatio... I also don't know why the ci.yml only ran for a few seconds: https://github.com/IUCompilerCourse/Essentials-of-Compilation/runs/4292541005?check_suite_focus=true https://github.com/IUCompilerCourse/Essentials-of-Compilatio...