I remember reading an article about almost the same topic by Felleisen, maybe Flatt, maybe Culpepper and some others from the PLT group, it was about using DrRacket to teach maths, there was an example involving the take-off of a rocket iirc. Is anyone able to find it? I don't remember the title nor where it was published.