[racket] Separate files in the HtDP languages?

 > You can `require` a module that is implemented in ISL, but ISL doesn't
 > include `provide`, so you normally don't get anything from the module.
 > 
 > Since ISL includes `require`, you can use it to get `provide`. For
 > example, if "p.rkt" has
 > 
 >  #lang racket
 >  (provide provide)
 > 
 > then "a.rkt" in ISL could be
 > 
 >  (require "p.rkt")
 >  ...
 >  (provide sum)

Thanks!  For the archives, I tried the shortcut

  (require (only-in racket/base provide))

but this form is not valid ISL.  So the additional file with #lang
racket, whose only role is to provide `provide` to ISL, seems to be
the way to go.


Norman