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

2020-03-11 Thread 'John Clements' via users-redirect
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

2020-03-11 Thread Faisal Alshayie
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

2020-03-11 Thread Darth Vadør
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

2020-03-11 Thread Pratyush Das
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

2020-03-11 Thread Aron-Zvi
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

2020-03-11 Thread David Bremner
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