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

[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 the web visit 
https://groups.google.com/d/msgid/racket-users/186e61fb-9784-447f-9bc0-380799f689ea%40googlegroups.com.

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

[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 email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/c25be4c2-d58b-4744-9f12-a836a97589bd%40googlegroups.com.

[racket-users] Racket News - Issue 28

[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, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/1f5a7a36-4bf1-4147-8964-28a4cdabbbd2%40googlegroups.com.

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

[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 appropriate to cancel the meet 
> up on 9 April. 
> 
> Now the good news: I'm planning an 'After Work' Racket London Picnic Tuesday 
> 16 June in Kensington Gardens
> 
> Probably start at 5pm sunset is around 9:20pm 
> 
> 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 the web visit 
> https://groups.google.com/d/msgid/racket-users/CAGHj7-%2B63RS4Bb2eFVYYbNWs-DeHzWxf45GQB%2Bh3JTzYa8BoFA%40mail.gmail.com.

-- 
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 the web visit 
https://groups.google.com/d/msgid/racket-users/493D593C-05D1-4305-8056-81C2B55A4439%40gmail.com.

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

[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 didactic purposes.

I totally appreciate this approach and I have to say I don't feel quite 
prepared to fill in the details myself. So I'm doing my best to learn some 
preliminaries and general Racket first!

Thank you,
Adrian

On Monday, March 16, 2020 at 12:08:51 PM UTC, Prabhakar Ragde wrote:
>
>
> Hi! Sorry, I only get this list as a digest, so I didn't see your message 
> until this morning. The code in the paper is not complete, and the paper 
> isn't written so that a beginner in Racket could easily extract a working 
> program from it. When I teach students this material, I give them a working 
> starter file, and I will send that to you by private email, where we can 
> also continue to discuss as needed.
>
> I am at this moment working on converting my course materials on this 
> topic into a free online resource similar to the one I did for functional 
> data structures. But this is not ready yet. I hope to finish it in the next 
> few months and I will post here when it is ready. --PR
>

-- 
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 the web visit 
https://groups.google.com/d/msgid/racket-users/ab25f43b-eb1f-4d13-8ae7-b09061c02382%40googlegroups.com.

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

[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 assistant" and work 
> through the examples in his article. However, I'm pretty much a beginner in 
> Racket and I'm getting some errors.
>

Hi! Sorry, I only get this list as a digest, so I didn't see your message 
until this morning. The code in the paper is not complete, and the paper 
isn't written so that a beginner in Racket could easily extract a working 
program from it. When I teach students this material, I give them a working 
starter file, and I will send that to you by private email, where we can 
also continue to discuss as needed.

I am at this moment working on converting my course materials on this topic 
into a free online resource similar to the one I did for functional data 
structures. But this is not ready yet. I hope to finish it in the next few 
months and I will post here when it is ready. --PR

-- 
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 the web visit 
https://groups.google.com/d/msgid/racket-users/55610873-9554-4ce5-b5a6-33a7d29524bb%40googlegroups.com.

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

[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 google for "collapsible contract" should point to these
> pages, at least:
> 
> https://docs.racket-lang.org/reference/collapsible.html
> https://users.cs.northwestern.edu/~dmf082/papers/collapsible.pdf
> 
> In short, racket/contract has two flavors for some contracts: "normal"
> and "collapsible". Those log messages appear when the library tries to
> use "collapsible" but has to fall back.
> 
> --
> 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 the web visit
> https://groups.google.com/d/msgid/racket-users/CAFUu9R4W8Z=7ytVL44w7zXxAiteWdxdS-FUhZTJN1LnjELiG8Q@m
> il.gmail.com.

-- 
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 the web visit 
https://groups.google.com/d/msgid/racket-users/dc1fb21c0fe41e2bcb90386c0aa3109c%40disroot.org.