#racket on 2019-10-20 — irc logs at freenode.irclog.whitequark.org

2019-09-16 20:37 samth changed the topic of #racket to: Racket v7.4 has been released: https://blog.racket-lang.org/2019/08/racket-v7-4.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org

00:18 FreeFull has quit []

00:20 Arcaelyx has joined #racket

00:30 libertyp1ime has quit [Quit: leaving]

00:33 vraid has quit [Quit: Leaving]

01:17 iyzsong has joined #racket

01:29 ebzzry has quit [Quit: WeeChat 2.3]

01:34 ziyourenxiang_ has quit [Remote host closed the connection]

01:34 ziyourenxiang_ has joined #racket

01:35 ng0_ has joined #racket

01:36 libertyprime has quit [Quit: leaving]

01:39 ng0 has quit [Ping timeout: 260 seconds]

01:42 pera has joined #racket

02:27 q9929t has joined #racket

02:39 teardown has joined #racket

02:57 q9929t has quit [Quit: q9929t]

03:00 Trieste has quit [Ping timeout: 240 seconds]

03:02 Trieste has joined #racket

03:36 Arcaelyx has quit [Quit: Arcaelyx]

03:36 pera has quit [Ping timeout: 240 seconds]

03:52 orivej has quit [Ping timeout: 268 seconds]

03:57 ZombieChicken has joined #racket

03:57 teardown has quit [Quit: leaving]

03:57 teardown has joined #racket

03:59 Arcaelyx has joined #racket

04:02 libertyprime has joined #racket

04:17 _whitelogger has joined #racket

04:37 lockywolf has joined #racket

04:44 jao- has quit [Ping timeout: 250 seconds]

04:53 _whitelogger has joined #racket

05:09 libertyprime has quit [Ping timeout: 276 seconds]

05:10 libertyprime has joined #racket

05:20 iyzsong has quit [Quit: ZNC 1.7.1 - https://znc.in]

05:20 iyzsong has joined #racket

05:27 dddddd has quit [Remote host closed the connection]

05:48 Arcaelyx has quit [Quit: Arcaelyx]

06:05 _whitelogger has joined #racket

06:05 Fare has quit [Ping timeout: 250 seconds]

06:16 endformationage has quit [Ping timeout: 240 seconds]

06:38 _whitelogger has joined #racket

06:39 libertyprime has quit [Ping timeout: 265 seconds]

06:40 revtintin has joined #racket

06:41 libertyprime has joined #racket

06:54 manualcrank has quit [Quit: WeeChat 1.9.1]

06:58 libertyprime has quit [Ping timeout: 276 seconds]

06:59 libertyprime has joined #racket

07:03 lockywolf has quit [Ping timeout: 276 seconds]

07:30 hasebastian has joined #racket

07:31 hasebastian has quit [Client Quit]

07:34 hasebastian has joined #racket

07:34 libertyprime has quit [Ping timeout: 240 seconds]

07:39 hasebastian has quit [Quit: Konversation terminated!]

07:43 ng0_ is now known as ng0

07:46 libertyprime has joined #racket

07:47 ng0_ has joined #racket

07:50 ng0 has quit [Ping timeout: 260 seconds]

07:51 ng0_ is now known as ng0

08:44 mSSM has joined #racket

09:17 FreeFull has joined #racket

09:29 rgherdt has joined #racket

09:46 analogue has quit [Read error: Connection reset by peer]

09:47 analogue has joined #racket

09:49 rubic88 has quit [Ping timeout: 250 seconds]

09:50 rubic88 has joined #racket

09:51 phI||Ip has quit [Ping timeout: 250 seconds]

09:52 revtintin has quit [Quit: WeeChat 1.9.1]

09:53 phI||Ip has joined #racket

09:56 rlp10 has quit [Ping timeout: 250 seconds]

10:00 Fernando-Basso has joined #racket

10:01 gabot has quit [Ping timeout: 250 seconds]

10:02 gabot has joined #racket

10:08 vraid has joined #racket

10:10 poga has quit [Ping timeout: 250 seconds]

10:23 aidalgol has quit [Ping timeout: 268 seconds]

11:22 mzan has joined #racket

11:24 vraid has quit [Ping timeout: 240 seconds]

11:30 lockywolf has joined #racket

12:00 lockywolf has quit [Read error: Connection reset by peer]

12:00 lockywolf_ has joined #racket

12:01 poga has joined #racket

12:14 _whitelogger has joined #racket

12:15 notzmv has quit [Ping timeout: 276 seconds]

12:19 vimittu has joined #racket

12:27 lockywolf_ has quit [Ping timeout: 250 seconds]

12:51 orivej has joined #racket

12:51 libertyprime has quit [Quit: leaving]

13:11 manualcrank has joined #racket

13:16 efm has joined #racket

13:34 analogue_ has joined #racket

13:35 analogue has quit [Disconnected by services]

13:35 analogue_ is now known as analogue

13:43 dddddd has joined #racket

14:04 moldybits has quit [Quit: WeeChat 2.4]

14:13 efm has quit [Read error: Connection reset by peer]

14:18 lockywolf_ has joined #racket

14:19 lockywolf_ has quit [Max SendQ exceeded]

14:19 lockywolf_ has joined #racket

14:26 jao has joined #racket

14:28 efm has joined #racket

14:30 lockywolf__ has joined #racket

14:32 lockywolf__ has quit [Max SendQ exceeded]

14:32 iyzsong has quit [Quit: ZNC 1.7.1 - https://znc.in]

14:32 lockywolf__ has joined #racket

14:33 Arcaelyx has joined #racket

14:33 lockywolf_ has quit [Ping timeout: 250 seconds]

14:40 endformationage has joined #racket

14:48 Fare has joined #racket

14:51 jao has quit [Ping timeout: 250 seconds]

14:52 manualcrank has quit [Quit: WeeChat 1.9.1]

14:52 efm has quit [Remote host closed the connection]

14:52 efm has joined #racket

15:09 mzan has quit [Quit: Leaving]

15:13 lockywolf__ has quit [Remote host closed the connection]

15:14 lockywolf__ has joined #racket

15:15 lockywolf__ has quit [Remote host closed the connection]

15:15 lockywolf__ has joined #racket

15:16 lockywolf__ has quit [Remote host closed the connection]

15:17 lockywolf__ has joined #racket

15:18 lockywolf__ has quit [Remote host closed the connection]

15:18 lockywolf__ has joined #racket

15:19 lockywolf__ has quit [Max SendQ exceeded]

15:21 notzmv has joined #racket

15:24 Arcaelyx has quit [Quit: Arcaelyx]

15:27 dTal has quit [Ping timeout: 250 seconds]

15:30 notzmv has quit [Ping timeout: 240 seconds]

15:39 notzmv has joined #racket

15:48 P1RATEZ has joined #racket

16:00 mzan has joined #racket

16:00 Fernando-Basso has quit [Quit: Leaving]

16:08 Fare has quit [Ping timeout: 240 seconds]

16:30 acarrico has quit [Ping timeout: 268 seconds]

16:36 vraid has joined #racket

16:50 ng0 has quit [Remote host closed the connection]

16:51 ng0 has joined #racket

17:02 pera has joined #racket

17:09 ziyourenxiang_ has quit [Ping timeout: 240 seconds]

17:18 jao has joined #racket

17:21 Fare has joined #racket

17:27 Sgeo_ has quit [Read error: Connection reset by peer]

17:27 Sgeo_ has joined #racket

17:30 vimittu has quit [Ping timeout: 240 seconds]

17:48 manualcrank has joined #racket

17:56 vraid has quit [Remote host closed the connection]

18:04 ng0 has quit [Remote host closed the connection]

18:05 ng0 has joined #racket

18:09 vraid has joined #racket

18:20 ng0 has quit [Ping timeout: 260 seconds]

18:26 ng0 has joined #racket

18:30 Nomenclatura has joined #racket

18:55 acarrico has joined #racket

19:01 Fare has quit [Ping timeout: 240 seconds]

19:13 notzmv has quit [Ping timeout: 276 seconds]

19:18 mSSM has quit [Ping timeout: 268 seconds]

19:25 Trieste has quit [Ping timeout: 268 seconds]

19:27 peey has joined #racket

19:31 Trieste has joined #racket

19:34 acarrico has quit [Ping timeout: 265 seconds]

19:36 Fernando-Basso has joined #racket

19:42 pera has quit [Ping timeout: 268 seconds]

19:56 aeth has quit [Ping timeout: 268 seconds]

19:59 Fernando-Basso has quit [Quit: Leaving]

20:00 aeth has joined #racket

20:02 pera has joined #racket

20:11 Nomenclatura has quit [Remote host closed the connection]

20:16 <peey> In typed racket, to have the type "List of at least one element", I can use (Pairof E (Listof E)) to denote a list with at least one element of type E. Is it possible to have the type "set of at least one element"?

20:23 Nomenclatura has joined #racket

20:28 vraid has quit [Remote host closed the connection]

20:31 Nomenclatura has quit [Ping timeout: 246 seconds]

20:32 Nomenclatura has joined #racket

20:34 notzmv has joined #racket

20:38 Fernando-Basso has joined #racket

20:40 pera has quit [Ping timeout: 240 seconds]

20:58 efm has quit [Read error: Connection reset by peer]

21:03 efm has joined #racket

21:11 badkins has quit [Ping timeout: 268 seconds]

21:17 pera has joined #racket

21:21 mSSM has joined #racket

21:22 Nomenclatura has quit [Quit: q]

21:28 Fare has joined #racket

21:50 pera has quit [Ping timeout: 240 seconds]

21:54 peey has quit [Ping timeout: 260 seconds]

22:07 Fare has quit [Ping timeout: 250 seconds]

22:12 pera has joined #racket

22:16 sagax has quit [Ping timeout: 240 seconds]

22:27 P1RATEZ has quit []

22:32 rgherdt has quit [Ping timeout: 265 seconds]

22:49 mSSM has quit [Ping timeout: 268 seconds]

22:54 Fernando-Basso has quit [Quit: Leaving]

23:02 libertyprime has joined #racket

23:15 libertyprime has quit [Ping timeout: 250 seconds]

23:15 libertyprime has joined #racket

23:21 Fare has joined #racket

23:22 libertyprime has quit [Ping timeout: 268 seconds]

23:23 libertyprime has joined #racket

23:27 ziyourenxiang_ has joined #racket

23:28 Fare has quit [Ping timeout: 265 seconds]

23:29 orivej has quit [Ping timeout: 268 seconds]

23:30 libertyprime has quit [Ping timeout: 240 seconds]

23:31 libertyprime has joined #racket

23:31 ng0 has quit [Quit: Alexa, when is the end of world?]