#racket on 2020-06-16 — irc logs at freenode.irclog.whitequark.org

2020-05-03 17:48 samth changed the topic of #racket to: Racket v7.7 has been released: https://blog.racket-lang.org/2020/05/racket-v7-7.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org

00:11 orivej has joined #racket

00:11 orivej_ has quit [Read error: Connection reset by peer]

00:40 <nisstyre> ArthurStrong: the lambda papers maybe?

00:40 nullcone has quit [Quit: Connection closed for inactivity]

00:40 <nisstyre> https://en.wikisource.org/wiki/Lambda_Papers

00:51 <ArthurStrong> nisstyre: thanks

00:59 catonano has quit [Read error: Connection reset by peer]

00:59 catonano_ has joined #racket

01:09 orivej has quit [Quit: No Ping reply in 180 seconds.]

01:11 orivej has joined #racket

01:27 pilne has quit [Quit: Few women admit their age. Few men act theirs.]

01:30 orivej_ has joined #racket

01:31 orivej has quit [Ping timeout: 256 seconds]

01:38 dddddd has quit [Ping timeout: 264 seconds]

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

01:44 gastove has joined #racket

01:49 efm has quit [Quit: Konversation terminated!]

01:51 <gastove> Evening! Very new to racket, and trying to get my head around the minimum pieces necessary for a "hello world" executable. I assume if I write my info.rkt and use a (module+ main) correctly, there's a way to run `raco` and get a binary out, but I confess I'm finding the docs a bit baffling -- in particular, what to put in which info.rkt, and which sequence of raco make, exe, setup I should expect to invoke. Anyone have an example they

01:51 <gastove> could point me to?

02:01 orivej_ has quit [Ping timeout: 260 seconds]

02:01 orivej has joined #racket

02:28 orivej has quit [Quit: No Ping reply in 180 seconds.]

02:29 orivej has joined #racket

02:33 countvajhula has quit [Ping timeout: 260 seconds]

02:38 countvajhula has joined #racket

03:41 orivej has quit [Ping timeout: 258 seconds]

03:42 orivej has joined #racket

03:50 orivej_ has joined #racket

03:51 orivej has quit [Ping timeout: 264 seconds]

04:03 nullcone has joined #racket

04:03 orivej has joined #racket

04:05 orivej_ has quit [Ping timeout: 246 seconds]

04:10 orivej has quit [Ping timeout: 240 seconds]

04:31 countvajhula has quit [Ping timeout: 256 seconds]

04:34 countvajhula has joined #racket

04:44 aidalgol has quit [Remote host closed the connection]

04:55 nebunez has quit [Ping timeout: 256 seconds]

04:57 gastove has quit [Remote host closed the connection]

04:57 gastove has joined #racket

05:06 endformationage has quit [Quit: WeeChat 2.6]

05:34 sword865 has joined #racket

06:11 aidalgol has joined #racket

06:19 countvajhula has quit [Ping timeout: 260 seconds]

06:20 narimiran has joined #racket

06:46 countvajhula has joined #racket

07:11 rgherdt has joined #racket

07:28 countvajhula has quit [Ping timeout: 256 seconds]

07:30 orivej has joined #racket

07:54 orivej has quit [Ping timeout: 264 seconds]

07:55 orivej has joined #racket

08:03 orivej has quit [Ping timeout: 260 seconds]

08:04 orivej has joined #racket

08:07 lockywolf has joined #racket

08:12 orivej has quit [Quit: No Ping reply in 180 seconds.]

08:13 orivej has joined #racket

08:18 lockywolf has quit [Remote host closed the connection]

08:18 lockywolf has joined #racket

08:19 lockywolf has quit [Max SendQ exceeded]

08:20 lockywolf has joined #racket

08:21 lockywolf has quit [Remote host closed the connection]

08:21 lockywolf has joined #racket

08:42 orivej has quit [Quit: No Ping reply in 180 seconds.]

08:44 orivej has joined #racket

08:46 Sgeo has quit [Read error: Connection reset by peer]

08:54 orivej has quit [Quit: No Ping reply in 180 seconds.]

08:54 orivej has joined #racket

09:06 orivej has quit [Ping timeout: 256 seconds]

09:06 orivej_ has joined #racket

09:16 orivej_ has quit [Quit: No Ping reply in 180 seconds.]

09:17 orivej has joined #racket

09:20 winny has quit [Ping timeout: 260 seconds]

09:28 orivej has quit [Ping timeout: 240 seconds]

09:29 orivej has joined #racket

09:30 winny has joined #racket

09:40 aidalgol has quit [Remote host closed the connection]

09:41 aidalgol has joined #racket

10:04 lavaflow has quit [Ping timeout: 264 seconds]

10:07 c7d9 has quit [Remote host closed the connection]

10:25 orivej has quit [Ping timeout: 256 seconds]

10:34 evdubs_ has joined #racket

10:34 dmiles has quit [Ping timeout: 258 seconds]

10:35 lockywolf_ has joined #racket

10:35 logicmoo has joined #racket

10:36 evdubs has quit [Ping timeout: 256 seconds]

10:37 lockywolf has quit [Ping timeout: 246 seconds]

10:40 orivej has joined #racket

10:42 efm has joined #racket

10:45 logicmoo has quit [Ping timeout: 256 seconds]

10:47 orivej has quit [Quit: No Ping reply in 180 seconds.]

10:48 orivej has joined #racket

10:49 dmiles has joined #racket

10:54 ArthurStrong has joined #racket

10:56 lockywolf__ has joined #racket

10:58 lockywolf_ has quit [Ping timeout: 260 seconds]

10:59 orivej has quit [Ping timeout: 256 seconds]

11:00 orivej has joined #racket

11:00 lockywolf_ has joined #racket

11:02 lockywolf__ has quit [Ping timeout: 264 seconds]

11:03 nikita` has joined #racket

11:07 orivej has quit [Ping timeout: 256 seconds]

11:08 orivej has joined #racket

11:15 lockywolf__ has joined #racket

11:17 lockywolf_ has quit [Ping timeout: 246 seconds]

11:17 lockywolf__ has quit [Remote host closed the connection]

11:18 lockywolf__ has joined #racket

11:20 dddddd has joined #racket

11:22 lockywolf__ has quit [Ping timeout: 240 seconds]

11:26 orivej_ has joined #racket

11:28 orivej has quit [Ping timeout: 256 seconds]

11:28 ArthurStrong has quit [Ping timeout: 256 seconds]

11:30 ArthurStrong has joined #racket

11:35 orivej_ has quit [Ping timeout: 260 seconds]

11:38 <bonz060> In racket, if you are installing a package from github, can you specifying the directory to use?

12:03 orivej has joined #racket

12:13 orivej has quit [Quit: No Ping reply in 180 seconds.]

12:15 orivej has joined #racket

12:59 iyzsong has joined #racket

12:59 orivej_ has joined #racket

12:59 orivej has quit [Read error: Connection reset by peer]

13:00 TCZ has joined #racket

13:07 orivej_ has quit [Ping timeout: 260 seconds]

13:08 orivej has joined #racket

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

13:14 orivej has joined #racket

13:16 <samth> bonz060: if you want to install it as a git clone, you can do `raco pkg install --clone <dir> <pkg-source>`

13:22 dataangel has quit [Ping timeout: 258 seconds]

13:35 orivej has quit [Ping timeout: 256 seconds]

13:36 orivej has joined #racket

13:39 cmaloney has quit [Quit: WeeChat 2.8]

13:41 ArthurStrong has quit [Read error: Connection reset by peer]

13:42 ArthurStrong has joined #racket

13:53 iyzsong has quit [Quit: ZNC 1.8.0 - https://znc.in]

13:55 orivej_ has joined #racket

13:55 orivej has quit [Read error: Connection reset by peer]

14:11 TCZ has quit [Quit: Leaving]

14:15 hugo has quit [Quit: ZNC 1.7.5 - https://znc.in]

14:15 krono has quit [Ping timeout: 256 seconds]

14:15 samth has quit [Ping timeout: 256 seconds]

14:15 sword865 has quit [Ping timeout: 256 seconds]

14:16 tazjin has quit [Read error: Connection reset by peer]

14:16 zmt01 has quit [Ping timeout: 256 seconds]

14:16 zmt00 has joined #racket

14:17 samth has joined #racket

14:18 krono has joined #racket

14:18 sword865 has joined #racket

14:18 poga has quit [Ping timeout: 256 seconds]

14:18 notzmv has quit [Ping timeout: 264 seconds]

14:18 poga has joined #racket

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

14:29 lavaflow has joined #racket

14:37 orivej_ has quit [Quit: No Ping reply in 180 seconds.]

14:38 efm has joined #racket

14:38 orivej has joined #racket

14:43 ArthurStrong has quit [Ping timeout: 256 seconds]

14:45 ArthurStrong has joined #racket

14:48 narimiran has quit [Quit: leaving]

14:55 nebunez has joined #racket

15:00 ArthurStrong has quit [Quit: leaving]

15:14 sword865 has quit [Quit: Connection closed for inactivity]

15:23 narimiran has joined #racket

15:32 dustyweb has quit [Remote host closed the connection]

15:42 dustyweb has joined #racket

15:49 orivej_ has joined #racket

15:50 orivej has quit [Read error: Connection reset by peer]

16:02 orivej has joined #racket

16:04 orivej_ has quit [Ping timeout: 264 seconds]

16:08 orivej has quit [Ping timeout: 260 seconds]

16:16 orivej has joined #racket

16:38 dustyweb has quit [Read error: Connection reset by peer]

16:39 orivej has quit [Read error: Connection reset by peer]

16:39 orivej has joined #racket

16:41 dustyweb has joined #racket

16:46 YuGiOhJCJ has joined #racket

16:55 orivej has quit [Ping timeout: 246 seconds]

16:55 orivej has joined #racket

17:04 deselby has quit [Remote host closed the connection]

17:07 orivej has quit [Ping timeout: 246 seconds]

17:16 efm has quit [Quit: Konversation terminated!]

17:22 notzmv has joined #racket

17:38 countvajhula has joined #racket

18:04 Sgeo has joined #racket

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

18:29 SGASAU has joined #racket

18:49 vraid has joined #racket

18:51 dustyweb has quit [Read error: Connection reset by peer]

19:01 dustyweb has joined #racket

19:18 countvajhula has quit [Ping timeout: 260 seconds]

19:23 miskatonic has joined #racket

19:42 orivej has joined #racket

19:47 aidalgol has quit [Remote host closed the connection]

19:50 orivej has quit [Quit: No Ping reply in 180 seconds.]

19:51 orivej has joined #racket

19:57 rmnull has joined #racket

19:58 orivej has quit [Quit: No Ping reply in 180 seconds.]

20:00 orivej has joined #racket

20:03 arpunk has quit [Remote host closed the connection]

20:06 arpunk has joined #racket

20:31 orivej_ has joined #racket

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

20:40 orivej_ has quit [Quit: No Ping reply in 180 seconds.]

20:41 orivej has joined #racket

20:51 orivej has quit [Ping timeout: 264 seconds]

20:51 orivej has joined #racket

20:53 narimiran has quit [Ping timeout: 256 seconds]

20:54 epony has quit [Ping timeout: 258 seconds]

21:01 orivej has quit [Quit: No Ping reply in 180 seconds.]

21:03 orivej has joined #racket

21:13 orivej_ has joined #racket

21:13 orivej has quit [Ping timeout: 264 seconds]

21:15 aidalgol has joined #racket

21:19 rmnull has quit [Quit: WeeChat 2.8]

21:23 aidalgol has quit [Ping timeout: 265 seconds]

21:27 orivej_ has quit [Ping timeout: 256 seconds]

21:28 epony has joined #racket

21:42 ullbeking has quit [Ping timeout: 256 seconds]

21:44 ullbeking has joined #racket

21:56 nikita` has quit [Quit: leaving]

21:59 ArthurStrong has joined #racket

22:01 sciamano has quit [*.net *.split]

22:01 und-l-t-d[m] has quit [*.net *.split]

22:04 zenspider has quit [Ping timeout: 264 seconds]

22:04 zenspider has joined #racket

22:05 winny has quit [Ping timeout: 256 seconds]

22:06 winny has joined #racket

22:08 aidalgol has joined #racket

22:13 aidalgol has quit [Remote host closed the connection]

22:14 aidalgol has joined #racket

22:17 ullbeking has quit [Ping timeout: 256 seconds]

22:17 sciamano has joined #racket

22:17 und-l-t-d[m] has joined #racket

22:17 ullbeking has joined #racket

22:19 ullbeking has quit [Changing host]

22:19 ullbeking has joined #racket

22:25 dataangel has joined #racket

22:27 sciamano has quit [*.net *.split]

22:27 und-l-t-d[m] has quit [*.net *.split]

22:33 lavaflow has quit [*.net *.split]

22:33 BitPuffin has quit [*.net *.split]

22:33 mceier has quit [*.net *.split]

22:33 tonyg has quit [*.net *.split]

22:33 meimeix has quit [*.net *.split]

22:33 tomaw has quit [*.net *.split]

22:33 fiddlerwoaroof has quit [*.net *.split]

22:33 rudybot has quit [*.net *.split]

22:33 dyl_ has quit [*.net *.split]

22:33 wingo has quit [*.net *.split]

22:33 casaca has quit [*.net *.split]

22:33 erkin has quit [*.net *.split]

22:33 aidalgol has quit [*.net *.split]

22:33 winny has quit [*.net *.split]

22:33 jhei has quit [*.net *.split]

22:33 griffinbyatt has quit [*.net *.split]

22:33 Sgeo has quit [*.net *.split]

22:33 SGASAU has quit [*.net *.split]

22:33 notzmv has quit [*.net *.split]

22:33 catonano_ has quit [*.net *.split]

22:33 mbrndtgn has quit [*.net *.split]

22:33 acarrico has quit [*.net *.split]

22:33 tilpner has quit [*.net *.split]

22:33 notnotdan has quit [*.net *.split]

22:33 cbarrett has quit [*.net *.split]

22:33 conjunctive has quit [*.net *.split]

22:33 gabot has quit [*.net *.split]

22:33 eagleflo has quit [*.net *.split]

22:33 bonz060 has quit [*.net *.split]

22:33 sagax has quit [*.net *.split]

22:33 Oxyd has quit [*.net *.split]

22:33 ArthurStrong has quit [*.net *.split]

22:33 arpunk has quit [*.net *.split]

22:33 nebunez has quit [*.net *.split]

22:33 aeth has quit [*.net *.split]

22:33 dataangel has quit [*.net *.split]

22:33 nullman has quit [*.net *.split]

22:33 dvdmuckle has quit [*.net *.split]

22:33 dustyweb has quit [*.net *.split]

22:33 juanfra_ has quit [*.net *.split]

22:33 psiperator[m] has quit [*.net *.split]

22:33 hexagoxel has quit [*.net *.split]

22:33 vraid has quit [*.net *.split]

22:33 rubic88 has quit [*.net *.split]

22:33 m1dnight_ has quit [*.net *.split]

22:33 deeglaze has quit [*.net *.split]

22:33 idstam has quit [*.net *.split]

22:33 `micro has quit [*.net *.split]

22:33 FreeFull has quit [*.net *.split]

22:33 emacsomancer has quit [*.net *.split]

22:33 terrorjack has quit [*.net *.split]

22:33 Zandose has quit [*.net *.split]

22:33 lexi-lambda has quit [*.net *.split]

22:33 _apg has quit [*.net *.split]

22:33 ohama has quit [*.net *.split]

22:33 srji has quit [*.net *.split]

22:33 wgetch has quit [*.net *.split]

22:33 ncl3 has quit [*.net *.split]

22:33 Ekho has quit [*.net *.split]

22:33 phI||Ip has quit [*.net *.split]

22:33 dzoe has quit [*.net *.split]

22:33 mario-goulart has quit [*.net *.split]

22:33 ChanServ has quit [*.net *.split]

22:33 YuGiOhJCJ has quit [*.net *.split]

22:33 cantstanya has quit [*.net *.split]

22:33 nisstyre has quit [*.net *.split]

22:33 englishm has quit [*.net *.split]

22:33 bremner has quit [*.net *.split]

22:33 ilmu has quit [*.net *.split]

22:33 dumptruckman has quit [*.net *.split]

22:33 poga has quit [*.net *.split]

22:33 ermo has quit [*.net *.split]

22:33 camelCaser has quit [*.net *.split]

22:34 juanfra has quit [*.net *.split]

22:34 zenspider has quit [*.net *.split]

22:34 miskatonic has quit [*.net *.split]

22:34 samth has quit [*.net *.split]

22:34 rgherdt has quit [*.net *.split]

22:34 nullcone has quit [*.net *.split]

22:34 bjarno_ has quit [*.net *.split]

22:34 greghendershott has quit [*.net *.split]

22:34 JStoker has quit [*.net *.split]

22:34 cheers has quit [*.net *.split]

22:34 ecraven has quit [*.net *.split]

22:34 cky has quit [*.net *.split]

22:34 Blkt has quit [*.net *.split]

22:34 fridim has quit [*.net *.split]

22:34 r3x5 has quit [*.net *.split]

22:34 epony has quit [*.net *.split]

22:34 Codaraxis__ has quit [*.net *.split]

22:34 laxask has quit [*.net *.split]

22:34 mzan has quit [*.net *.split]

22:34 DGASAU has quit [*.net *.split]

22:34 idxu has quit [*.net *.split]

22:34 travv0 has quit [*.net *.split]

22:34 bchar has quit [*.net *.split]

22:34 edmoore has quit [*.net *.split]

22:34 ski has quit [*.net *.split]

22:34 eMBee has quit [*.net *.split]

22:34 jboy has quit [*.net *.split]

22:34 dddddd has quit [*.net *.split]

22:34 dmiles has quit [*.net *.split]

22:34 remexre has quit [*.net *.split]

22:34 pounce has quit [*.net *.split]

22:34 benaiah has quit [*.net *.split]

22:34 xensky has quit [*.net *.split]

22:34 thallada has quit [*.net *.split]

22:37 ullbeking has quit [Ping timeout: 260 seconds]

22:37 sz0 has quit [Ping timeout: 260 seconds]

22:38 hoek has quit [Ping timeout: 260 seconds]

22:38 aeth has joined #racket

22:38 ArthurStrong has joined #racket

22:38 arpunk has joined #racket

22:38 Oxyd has joined #racket

22:38 nebunez has joined #racket

22:38 fridim has joined #racket

22:38 ecraven has joined #racket

22:38 r3x5 has joined #racket

22:38 greghendershott has joined #racket

22:38 bjarno_ has joined #racket

22:38 JStoker has joined #racket

22:38 samth has joined #racket

22:38 rgherdt has joined #racket

22:38 miskatonic has joined #racket

22:38 zenspider has joined #racket

22:38 `micro has joined #racket

22:38 wingo has joined #racket

22:38 deeglaze has joined #racket

22:38 idstam has joined #racket

22:38 rubic88 has joined #racket

22:38 m1dnight_ has joined #racket

22:38 vraid has joined #racket

22:38 dvdmuckle has joined #racket

22:38 nullman has joined #racket

22:38 dataangel has joined #racket

22:38 jhei has joined #racket

22:38 griffinbyatt has joined #racket

22:38 winny has joined #racket

22:38 aidalgol has joined #racket

22:38 hexagoxel has joined #racket

22:38 eagleflo has joined #racket

22:38 dustyweb has joined #racket

22:38 gabot has joined #racket

22:38 cbarrett has joined #racket

22:38 conjunctive has joined #racket

22:38 notnotdan has joined #racket

22:38 tilpner has joined #racket

22:38 acarrico has joined #racket

22:38 mbrndtgn has joined #racket

22:38 catonano_ has joined #racket

22:38 Sgeo has joined #racket

22:38 casaca has joined #racket

22:38 SGASAU has joined #racket

22:38 thallada has joined #racket

22:38 BitPuffin has joined #racket

22:38 juanfra has joined #racket

22:38 bonz060 has joined #racket

22:38 poga has joined #racket

22:38 ermo has joined #racket

22:38 camelCaser has joined #racket

22:38 lavaflow has joined #racket

22:38 cheers has joined #racket

22:38 sagax has joined #racket

22:38 cky has joined #racket

22:38 Blkt has joined #racket

22:38 xensky has joined #racket

22:38 benaiah has joined #racket

22:38 dmiles has joined #racket

22:38 pounce has joined #racket

22:38 tomaw has joined #racket

22:38 meimeix has joined #racket

22:38 dyl_ has joined #racket

22:38 dddddd has joined #racket

22:38 tonyg has joined #racket

22:38 mceier has joined #racket

22:38 remexre has joined #racket

22:38 erkin has joined #racket

22:38 rudybot has joined #racket

22:38 ChanServ has joined #racket

22:38 fiddlerwoaroof has joined #racket

22:44 _whitelogger has joined #racket

22:44 Zandose has joined #racket

22:45 terrorjack has joined #racket

22:45 cbarrett has joined #racket

22:45 hoek has joined #racket

22:47 nullcone has joined #racket

22:47 psiperator[m] has joined #racket

22:48 miskatonic has quit [Quit: ERC (IRC client for Emacs 24.5.1)]

22:48 nullcone has quit [Excess Flood]

22:48 nullcone has joined #racket

22:55 und-l-t-d[m] has joined #racket

23:01 sciamano has joined #racket

23:03 rgherdt has quit [Ping timeout: 272 seconds]

23:03 BitPuffin has joined #racket

23:05 aidalgol has quit [Remote host closed the connection]

23:48 notzmv has joined #racket