Re: [racket-users] re-run really fast!

That’s it! I have to look really close to see the spikes on the ball, but there they are. Many thanks. John > On Mar 5, 2020, at 03:33, Robby Findler wrote: > > Some time ago (a lot more than a week), DrRacket started using the result of > online expansion to run (look for the spiky green

[racket-users] Beginning with Racket

I'm a newbie in Racket programming language and I was looking for some videos and easy walkthrough (step by step) on youtube and on the internet. Unfortunately, there aren't much of material for building programs such as transferring a production rule for a grammar into a racket and using

Re: [racket-users] Racket 7.5 DMG file does not open on OSX 10.11

Just installed Racket 7.6 through Homebrew. Completely clean with no errors. Thank you for helping us out! On Wednesday, December 11, 2019 at 5:00:42 PM UTC+1, Matthew Flatt wrote: > > At the moment, we don't have plans to rebuild v7.5, so the change would > kick in with v7.6. > > The

[racket-users] typed-plai vs typed/racket

Is there a comprehensive list of differences between typed-plai and typed/racket? Did typed-plai grow into typed/racket? Is there a way to use typed-plai in Racket 7.5? -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this

[racket-users] HTDP2e Exercise 320 help

Hey guys, I'm working on Exercise 320 and I am not sure if I am in the right direction. For the first part "Reformulate the data definition for S-expr so that the first clause is expanded into the three clauses of Atom

Re: [racket-users] typed-plai vs typed/racket

Pratyush Das writes: > Is there a comprehensive list of differences between typed-plai and > typed/racket? I'm guessing you mean plai-typed. This is a simple type-inferred language designed for teaching. Because the language is simpler, the type inference is in some sense better; it requires