#racket on 2020-02-14 — irc logs at freenode.irclog.whitequark.org

2019-11-20 11:42 lexi-lambda changed the topic of #racket to: Racket v7.5 has been released: https://blog.racket-lang.org/2019/11/racket-v7-5.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org

00:51 orivej has quit [Ping timeout: 265 seconds]

00:59 endobson has joined #racket

01:11 evdubs has quit [Remote host closed the connection]

01:11 evdubs has joined #racket

01:41 endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

01:43 Sgeo has quit [Read error: Connection reset by peer]

01:44 badkins has quit [Ping timeout: 240 seconds]

01:47 Sgeo has joined #racket

02:00 dddddd has quit [Remote host closed the connection]

02:19 badkins has joined #racket

02:26 aeth_ has joined #racket

02:28 aeth has quit [Ping timeout: 272 seconds]

02:28 Trieste has quit [Ping timeout: 260 seconds]

02:29 aeth_ is now known as aeth

02:31 Trieste has joined #racket

03:01 badkins has quit [Remote host closed the connection]

03:12 iyzsong has joined #racket

03:16 vraid has quit [Read error: Connection reset by peer]

03:27 notzmv has quit [Ping timeout: 268 seconds]

03:33 notzmv has joined #racket

04:15 endobson has joined #racket

04:44 _whitelogger has joined #racket

04:51 endformationage has quit [Ping timeout: 272 seconds]

04:59 pierpal has joined #racket

05:31 endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

05:42 aidalgol has joined #racket

05:42 endobson has joined #racket

05:57 endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

06:03 narimiran has joined #racket

06:08 endobson has joined #racket

06:33 sauvin has joined #racket

07:20 nullman has quit [Ping timeout: 265 seconds]

08:07 pera has quit [Ping timeout: 265 seconds]

08:17 endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

09:01 ziyourenxiang has quit [Ping timeout: 268 seconds]

09:03 ziyourenxiang has joined #racket

09:29 BitPuffin has joined #racket

09:35 true-grue has joined #racket

09:41 Fernando-Basso has joined #racket

09:43 Irenes[m] has joined #racket

09:43 olavx200 has joined #racket

09:43 juanfra_ has joined #racket

09:47 sarna has joined #racket

09:48 <sarna> hi, are there any statically typed racket langs without the gradual part?

10:15 lockywolf has joined #racket

10:16 fanta1 has joined #racket

10:50 lockywolf_ has joined #racket

10:51 sarna has left #racket [#racket]

10:51 lockywolf_ has quit [Remote host closed the connection]

10:52 lockywolf_ has joined #racket

10:53 lockywolf_ has quit [Max SendQ exceeded]

10:53 lockywolf has quit [Ping timeout: 260 seconds]

10:53 lockywolf_ has joined #racket

10:54 lockywolf_ has quit [Max SendQ exceeded]

10:55 lockywolf_ has joined #racket

10:56 lockywolf_ has quit [Remote host closed the connection]

10:57 lockywolf_ has joined #racket

10:58 lockywolf_ has quit [Max SendQ exceeded]

10:58 lockywolf_ has joined #racket

10:59 aidalgol has quit [Remote host closed the connection]

10:59 lockywolf_ has quit [Max SendQ exceeded]

11:00 lockywolf_ has joined #racket

11:01 lockywolf_ has quit [Remote host closed the connection]

11:01 pierpal has quit [Quit: Poof]

11:01 lockywolf_ has joined #racket

11:01 pierpal has joined #racket

11:02 lockywolf_ has quit [Remote host closed the connection]

11:04 ostera has joined #racket

12:01 nullman has joined #racket

12:13 dddddd has joined #racket

12:28 orivej has joined #racket

12:30 pierpal has quit [Read error: Connection reset by peer]

12:33 fanta1 has quit [Quit: fanta1]

12:56 iyzsong has quit [Quit: ZNC 1.7.1 - https://znc.in]

13:04 pierpal has joined #racket

13:36 badkins_ has joined #racket

13:38 pierpal has quit [Ping timeout: 260 seconds]

13:45 true-grue has quit [Quit: Leaving]

13:48 kritixilithos has joined #racket

13:52 brettgilio has quit [Ping timeout: 240 seconds]

13:55 brettgilio has joined #racket

14:07 orivej has quit [Ping timeout: 272 seconds]

14:08 Fernando-Basso has quit [Quit: Leaving]

14:43 vraid has joined #racket

14:58 ephemera_ has quit [Quit: No Ping reply in 180 seconds.]

14:59 ephemera_ has joined #racket

15:21 dddddd has quit [Ping timeout: 260 seconds]

15:21 endobson has joined #racket

15:26 orivej has joined #racket

15:42 Naptra has joined #racket

15:50 efm has quit [Ping timeout: 268 seconds]

15:51 efm has joined #racket

15:54 kritixil1 has joined #racket

15:55 kritixilithos has quit [Ping timeout: 240 seconds]

16:07 endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

16:28 pera has joined #racket

16:33 vraid has quit [Quit: Leaving]

16:33 badkins_ has quit [Remote host closed the connection]

16:36 efm has quit [Remote host closed the connection]

16:50 <samth> sarna: see Hackett

16:50 <samth> but also you can just not use an untyped modules with Typed Racket.

16:52 efm has joined #racket

17:16 kritixil1 has quit [Ping timeout: 240 seconds]

17:19 dustyweb has joined #racket

17:22 kritixil1 has joined #racket

17:26 vraid has joined #racket

17:52 <emacsomancer> is there an easy way of getting racket docs in tex format?

17:52 <emacsomancer> (I mean I know there should be *some* way, via scribble)

17:57 badkins has joined #racket

18:41 Fernando-Basso has joined #racket

18:58 sauvin has quit [Read error: Connection reset by peer]

19:00 sagax has quit [Ping timeout: 268 seconds]

19:06 FreeFull has joined #racket

19:13 dddddd has joined #racket

19:17 aidalgol has joined #racket

19:25 pierpal has joined #racket

19:29 badkins has quit [Remote host closed the connection]

19:32 pierpal has quit [Ping timeout: 265 seconds]

19:36 sagax has joined #racket

20:09 pierpal has joined #racket

20:17 badkins has joined #racket

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

20:20 pierpal has joined #racket

20:25 pierpal has quit [Ping timeout: 240 seconds]

20:27 kritixil1 has quit [Quit: quit]

20:38 narimiran has quit [Ping timeout: 240 seconds]

21:08 Naptra has quit [Quit: Leaving]

21:13 Trieste has quit [Ping timeout: 268 seconds]

21:14 Trieste has joined #racket

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

23:14 pierpal has joined #racket

23:35 pierpal has quit [Ping timeout: 260 seconds]