@inthehands
Here, take a look at the tutorials linked from here:
https://cs.brown.edu/courses/csci1730/2023/smol.html
They're explicitly offered in multiple syntaxes, to show that the underlying ideas are essentially the same. Each tutorial is quite short (5-10 mins max), so you can get a sense of how they play out…
We've already got several universities using it (and finding problems in their student understanding!). The whole tutor is built entirely around known misconceptions and fixing them.
@dabeaz