RE: [racket-users] Re: local variables arehyperlinkedinscribble/manual

2020-06-14 Thread Jos Koot
Well, thanks to both Ryan C and Ryan K. Sorry for my confusion. Best wishes, Jos Koot From: Ryan Kramer Sent: 14 June 2020 02:20 To: Racket Users Subject: Re: [racket-users] Re: local variables arehyperlinkedinscribble/manual That was actually Ryan Culpepper. Sorry for the noise, but I can't

Re: turtle’s outline on blue plaid as main image in initial window of DrRacket on 2020‐06‐11: an Easter egg and a curiosity (veering off topic for [racket-users])

2020-06-14 Thread Robby Findler
I don't know that there is a direct connection except that some of us (maybe just me?) love the place that celebrates a holiday there. https://en.wikipedia.org/wiki/King_Kamehameha_I_Day In addition to the honu, the pattern in the background is palaka. Robby On Sun, Jun 14, 2020 at 12:41 PM

Re: turtle’s outline on blue plaid as main image in initial window of DrRacket on 2020‐06‐11: an Easter egg and a curiosity (veering off topic for [racket-users])

2020-06-14 Thread 'Richard Cleis' via Racket Users
I work out here for a company that doesn’t provide that holiday, but at least I developed in DrRacket the whole day. :) RAC > On Jun 14, 2020, at 7:48 AM, Robby Findler wrote: > >  > I don't know that there is a direct connection except that some of us (maybe > just me?) love the place

Re: [racket-users] Re: Andy Wingo's fold

2020-06-14 Thread Catonano
Il giorno ven 12 giu 2020 alle ore 10:57 Philip McGrath < phi...@philipmcgrath.com> ha scritto: > On Fri, Jun 12, 2020 at 2:46 AM Catonano wrote: > >> the original paper Andy Wingo refers to uses Haskell to express this >> operator and I can't read Haskell and I'm not willing to learn >> > > I'm

Re: turtle’s outline on blue plaid as main image in initial window of DrRacket on 2020‐06‐11: an Easter egg and a curiosity (veering off topic for [racket-users])

2020-06-14 Thread Bruce O'Neel
Hi, And you can find the file that generates that at share/pkgs/drracket/drracket/private called honu-logo.rkt The file deciding it is a special day is in the same place   drracket-normal.rkt cheers bruce > On 2020‐06‐11, DrRacket, at initialization,

turtle’s outline on blue plaid as main image in initial window of DrRacket on 2020‐06‐11: an Easter egg and a curiosity (veering off topic for [racket-users])

2020-06-14 Thread Etan Wexler
On 2020‐06‐11, DrRacket, at initialization, presented to me, instead of the Racket logo, a sea turtle’s outline in thick, gray strokes, filled with the deep blue and deep red of the Racket logo, against a background of plaid of light blue and medium blue. The image is quite appealing, even