Re: [racket-users] Important message about meet up on 9 April (Racket London)

2020-03-16 Thread Stephen De Gabrielle
Thanks James, much appreciated. Stephen -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on

[racket-users] Important message about meet up on 9 April (Racket London)

2020-03-16 Thread Stephen De Gabrielle
The 9 April meet-up is cancelled. If anyone has any suggestions about a virtual meet-up I’d be interested. Stephen -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an

[racket-users] Racket News - Issue 28

2020-03-16 Thread Paulo Matos
Hi, Racket News Issue 28 is here. https://racket-news.com/2020/03/racket-news-issue-28.html Enjoy and stay healthy, Paulo Matos -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it,

Re: [racket-users] Important message about meet up on 9 April (Racket London)

2020-03-16 Thread James Geddes
Stephen, All, I think that is likely to be right. For now, I’ve kept my room booking but if the Turing or the British Library close, I will let you know. James > On 13 Mar 2020, at 21:39, Stephen De Gabrielle > wrote: > > Hi All, > > While I haven't yet, I'm expecting it will be

[racket-users] Re: Understanding P. Ragde's Proust

2020-03-16 Thread Adrian Manea
Dear Prof. Ragde, Thank you very much for the reply! I watched your talk at the Racket con more carefully today and noticed you specifically point out that you don't give your students the whole code and that the entire project is presented as a "proof of concept" and used especially for

[racket-users] Re: Understanding P. Ragde's Proust

2020-03-16 Thread Prabhakar Ragde
On Sunday, March 15, 2020 at 10:00:59 AM UTC-4, Adrian Manea wrote: > > > I'm a mathematician delving into type theory and proof assistants and with > special interests in Racket. > > I'm now trying to understand and implement P. Ragde's Proust > "nano proof

Re: [racket-users] Logger shows lots of info messages about collapsible-contract-bailout and collapsible-value-bailout

2020-03-16 Thread epi
Thanks to you and Robby Findler for your quick replies! March 14, 2020 4:17 PM, "Ben Greenman" wrote: >>> I don't know what triggers it and google does not return any results. >>> Just curious, is it something I should be worried about? >>> I am using Racket v7.5 if it helps. > > Searching