Re: [racket-users] acceptable drracket definitions for interaction

Are you referring to section 6.3, which defines modules as individual s-expressions? It appears to me that this code would work fine if specified in the style shown earlier in section 6.1, where each module appears in its own file, begins with a #lang declaration, and the one referred to the ot

[racket-users] acceptable drracket definitions for interaction

Hello Racketeers, I am brand new to Racket. I am interested in Blame Calculus and Gradual Types. Thanks for all the great work. I have successfully validated the interaction increment example [1] in DrRacket. However, running the combined modules in the definitions window reports that there