00:00 (join) Kaylin
00:16 (quit) pod: Ping timeout: 240 seconds
00:17 (quit) getpwnam: Ping timeout: 240 seconds
00:17 (quit) hash_table: Ping timeout: 240 seconds
00:32 (quit) mceier: Quit: leaving
00:34 (join) mceier
00:51 (join) jeapostrophe
00:51 (quit) jeapostrophe: Changing host
00:51 (join) jeapostrophe
01:00 (quit) Remosi: Ping timeout: 240 seconds
01:11 (join) vu3rdd
01:11 (quit) vu3rdd: Changing host
01:11 (join) vu3rdd
01:13 (join) Remosi
01:13 (quit) jeapostrophe: Ping timeout: 244 seconds
01:19 (quit) mithos28: Quit: mithos28
01:37 (join) jesyspa
01:39 (join) mithos28
01:47 (join) lebro
01:52 (quit) vu3rdd: Remote host closed the connection
02:10 (quit) lebro: Read error: Connection reset by peer
02:11 (join) RacketCommitBot
02:11 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/0WiuSQ
02:11 RacketCommitBot: [racket/master] Add GC display to future visualizer - James Swaine
02:11 (part) RacketCommitBot
02:14 (join) lcc
02:21 (quit) jonrafkind: Ping timeout: 260 seconds
02:30 (quit) Remosi: Ping timeout: 240 seconds
02:33 (quit) jackhammer2022: Quit: Boston Red Sox FTW !!
02:42 (join) Remosi
02:50 (quit) Shviller: Ping timeout: 276 seconds
02:50 (join) Shviller
02:55 (join) jhemann_
02:58 (quit) jhemann__: Ping timeout: 245 seconds
03:05 mithos28: Are there any papers on how TR is supposed to typecheck case-> types?
03:05 (quit) cohorojo: Ping timeout: 245 seconds
04:00 (quit) Remosi: Ping timeout: 240 seconds
04:12 (join) Remosi
04:25 (join) cdidd
04:26 (quit) mithos28: Quit: mithos28
04:42 (join) bitonic
05:07 (join) masm
05:17 (quit) bjz: Quit: Leaving...
05:25 (join) antithesis
05:30 (quit) Remosi: Ping timeout: 240 seconds
05:38 (join) MayDaniel
05:42 (join) Remosi
05:52 (join) bjz
05:55 (quit) MayDaniel: Read error: Connection reset by peer
05:56 (join) dzhus
06:07 (join) ivan`_
06:09 (quit) ivan`: *.net *.split
06:56 (quit) bjz: Quit: Leaving...
07:00 (quit) Remosi: Ping timeout: 240 seconds
07:09 (join) bjz
07:12 (join) Remosi
07:14 (quit) antithesis: Quit: antithesis
07:18 (quit) Kaylin: Quit: Leaving.
07:33 (quit) bjz: Quit: Leaving...
07:49 (join) bdirks
07:55 (join) bjz
07:59 Haffe: Ok. I think I found a feauture request in the RACKET gui package.
07:59 Haffe: The list-box% should implement a get-string-selections method that works like get-string-selection.
08:00 (join) cohorojo
08:05 (quit) bjz: Quit: Leaving...
08:07 (join) untrusted
08:09 (join) bjz
08:27 (quit) bjz: Quit: Leaving...
08:30 (quit) Remosi: Ping timeout: 240 seconds
08:35 (join) bjz
08:35 (quit) juanfra: Remote host closed the connection
08:42 (join) RacketCommitBot
08:42 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/Sb9aBw
08:42 RacketCommitBot: [racket/master] remove some unneeded specialization for places - Matthew Flatt
08:42 RacketCommitBot: [racket/master] doc corrections - Matthew Flatt
08:42 (part) RacketCommitBot
08:43 (join) Remosi
08:44 (quit) bjz: Quit: Leaving...
09:00 (join) MayDaniel
09:01 (quit) bdirks: Quit: Colloquy for iPad - http://colloquy.mobi
09:02 (quit) lcc: Quit: leaving
09:02 (join) pod
09:02 (join) getpwnam
09:03 (join) hash_table
09:17 (quit) mceier: Quit: leaving
09:27 (join) anRch
09:30 (join) anRch_
09:30 (join) jonrafkind
09:30 (quit) jonrafkind: Changing host
09:30 (join) jonrafkind
09:33 (quit) anRch: Ping timeout: 276 seconds
09:33 (nick) anRch_ -> anRch
09:38 (join) lebro
09:39 (quit) untrusted: Remote host closed the connection
09:46 (quit) jonrafkind: Ping timeout: 246 seconds
09:52 (join) jeapostrophe
09:52 (quit) jeapostrophe: Changing host
09:52 (join) jeapostrophe
10:00 (quit) Remosi: Ping timeout: 240 seconds
10:12 (join) Remosi
10:13 (join) ambrosebs
10:16 (join) DrDuck1
10:18 (quit) DrDuck: Ping timeout: 245 seconds
10:22 (join) RacketCommitBot
10:22 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/CiVHYQ
10:22 RacketCommitBot: [racket/master] Fix process id sorting in future visualizer - James Swaine
10:22 (part) RacketCommitBot
10:31 (quit) cohorojo: Remote host closed the connection
10:31 (join) cohorojo
10:35 (quit) lebro: Read error: Connection reset by peer
10:38 (join) bdirks
10:48 (quit) bdirks: Quit: Colloquy for iPad - http://colloquy.mobi
10:56 (join) RacketCommitBot
10:56 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/qFosUQ
10:56 RacketCommitBot: [racket/master] adjust 'raco planet structure's implementation so it matches - Robby Findler
10:56 (part) RacketCommitBot
10:59 (quit) jesyspa: Ping timeout: 252 seconds
10:59 (join) josdeha_rt
11:01 (join) jesyspa
11:21 (quit) josdeha_rt: Remote host closed the connection
11:22 (join) josdeha_rt
11:30 (quit) Remosi: Ping timeout: 240 seconds
11:36 (quit) ambrosebs: Ping timeout: 244 seconds
11:42 (join) Remosi
11:50 (join) Kaylin
11:54 (quit) cohorojo: Remote host closed the connection
11:59 (join) yoklov
12:06 (quit) josdeha_rt: Remote host closed the connection
12:21 (join) vu3rdd
12:21 (quit) vu3rdd: Changing host
12:21 (join) vu3rdd
12:27 (quit) yoklov: Quit: computer sleeping
12:29 (join) yoklov
12:49 (join) mithos28
12:55 (join) Znudzon
12:57 mithos28: samth: Are there any papers on how TR is supposed to typecheck case-> types?
13:00 (quit) Remosi: Ping timeout: 240 seconds
13:12 (join) Remosi
13:15 (quit) jeapostrophe: Ping timeout: 265 seconds
13:25 (quit) jao: Ping timeout: 276 seconds
13:28 (join) jackhammer2022
13:33 (quit) MayDaniel: Read error: Connection reset by peer
13:34 (quit) bitonic: Remote host closed the connection
13:34 (join) MayDaniel
13:45 (join) JoelMcCracken
14:17 (quit) jackhammer2022: Quit: I pahked my cah at the hahvahd yahd
14:30 (quit) Remosi: Ping timeout: 240 seconds
14:33 (quit) vu3rdd: Remote host closed the connection
14:43 (join) Remosi
15:00 (join) jeapostrophe
15:00 (quit) jeapostrophe: Changing host
15:00 (join) jeapostrophe
15:22 (join) Shvillr_
15:23 (quit) Shviller: Disconnected by services
15:23 (nick) Shvillr_ -> Shviller
15:24 (join) Aune
16:00 (quit) Remosi: Ping timeout: 240 seconds
16:04 (join) jonrafkind
16:08 (join) dnolen
16:12 (join) Remosi
16:26 (quit) Kaylin: Quit: Leaving.
17:08 (join) anRch
17:30 (quit) Remosi: Ping timeout: 240 seconds
17:35 (join) mceier
17:42 (join) Remosi
18:06 (quit) anRch: Quit: anRch
18:27 (join) jao
18:27 (quit) jao: Changing host
18:27 (join) jao
18:27 (join) Kaylin
18:51 (quit) jesyspa: Quit: leaving
19:00 (quit) Remosi: Ping timeout: 240 seconds
19:09 (quit) drdo: Ping timeout: 248 seconds
19:09 (quit) hyko: Ping timeout: 248 seconds
19:09 (quit) SeanTAllen: Ping timeout: 250 seconds
19:10 (join) SeanTAllen
19:12 (join) Remosi
19:13 (join) hyko
19:14 (join) drdo
19:32 (quit) Aune: Quit: L?mnar
19:48 (quit) jeapostrophe: Ping timeout: 248 seconds
19:55 (quit) jonrafkind: Ping timeout: 245 seconds
19:56 mithos28: samth: ping
20:18 (quit) masm: Quit: Leaving.
20:33 (quit) MayDaniel: Read error: Connection reset by peer
20:34 (quit) jrslepak: Quit: What happened to Systems A through E?
20:34 (quit) Remosi: Ping timeout: 240 seconds
20:35 (join) jrslepak
20:35 (quit) asumu: Ping timeout: 248 seconds
20:37 (join) asumu
20:50 (join) Remosi
21:00 (quit) Remosi: Ping timeout: 245 seconds
21:01 (quit) dzhus: Read error: Connection reset by peer
21:03 (join) jhemann__
21:05 (quit) jhemann_: Ping timeout: 276 seconds
21:15 (join) Remosi
23:07 (join) RacketCommitBot
23:07 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/apkYxg
23:07 RacketCommitBot: [racket/master] Add index entries for @defconstructor (and friends). Also add - Robby Findler
23:07 (part) RacketCommitBot
23:12 (quit) JoelMcCracken: Ping timeout: 244 seconds
23:25 (quit) yoklov: Quit: computer sleeping
23:30 (quit) Remosi: Ping timeout: 245 seconds
23:34 (join) darkf
23:35 darkf: does racket/scheme impose an order of evaluation on arguments? e.g. (f a b) will a always be evaluated before b?
23:35 mithos28: racket does, scheme does not
23:35 darkf: neat, thanks
23:36 mithos28: it is up to the scheme implementation, r6rs allows it to be in parallel if there would be a serial execution that would have the same effect
23:45 (join) Remosi
23:48 (join) jeapostrophe
23:48 (quit) jao: Ping timeout: 276 seconds
23:48 (quit) jeapostrophe: Changing host
23:48 (join) jeapostrophe
23:51 (join) RacketCommitBot
23:52 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/ZVvMHA
23:52 RacketCommitBot: [racket/master] correct spelling error - Robby Findler
23:52 (part) RacketCommitBot
23:52 (join) yoklov
23:54 (quit) dnolen: Ping timeout: 276 seconds