00:36 (join) hellmage
00:45 askhader: =O
00:45 askhader: Sly dogs.
01:41 (quit) sstrickl: Read error: Connection reset by peer
01:49 (join) rbarraud_
01:51 (quit) rbarraud: Ping timeout: 272 seconds
01:59 (join) vu3rdd
02:02 rapacity: I'm trying to type a function that returns a list of strings or a list of lists of strings and so on, I tried (String -> (Rec N (U (Listof String) (Listof N)))) but it errors out when I call car on the result, how would I type such a function?
02:57 jonrafkind: (U (Listof String) (Listof (Listof String)) ?
02:58 rapacity: but it could also be (Listof (Listof (Listof String)))
02:59 rapacity: and so on
02:59 (join) masm
03:02 (quit) jonrafkind: Ping timeout: 265 seconds
03:29 (quit) asumu: Read error: Connection reset by peer
04:49 (quit) vu3rdd: Remote host closed the connection
04:54 rapacity: well I figured my mistake out, a list can be null and that's not carable
05:34 (join) rbarraud__
05:36 (quit) rbarraud_: Ping timeout: 240 seconds
06:26 (part) hellmage
07:53 (join) hanDerPeder
08:04 (quit) hanDerPeder: Quit: hanDerPeder
08:23 (join) hanDerPeder
08:24 (quit) rbarraud__: Ping timeout: 255 seconds
08:35 (quit) hanDerPeder: Quit: hanDerPeder
08:37 (join) karme
10:05 (quit) karme: Remote host closed the connection
10:10 (join) asumu
10:22 (join) jao
10:34 (join) writer
11:30 (join) hanDerPeder
11:37 (quit) asumu: Read error: Connection reset by peer
11:55 (join) offby1`
11:57 (quit) offby1: Ping timeout: 276 seconds
11:58 (nick) offby1` -> offby1
11:58 (quit) offby1: Changing host
11:58 (join) offby1
12:04 (join) vu3rdd
12:36 (quit) jao: Ping timeout: 265 seconds
13:46 (join) jonrafkind
14:00 (join) jao
14:03 (quit) bremner: Quit: ZNC - http://znc.sourceforge.net
14:03 (join) bremner
14:46 (quit) vu3rdd: Remote host closed the connection
15:34 (quit) masm: Ping timeout: 265 seconds
15:36 (join) offby1`
15:38 (quit) offby1: Disconnected by services
15:38 (nick) offby1` -> offby1
15:38 (quit) offby1: Changing host
15:38 (join) offby1
15:48 (join) masm
16:03 (join) offby1`
16:04 (quit) jao: Ping timeout: 264 seconds
16:05 (quit) offby1: Ping timeout: 245 seconds
16:16 (quit) writer: Ping timeout: 252 seconds
16:17 (nick) offby1` -> offby1
16:17 (quit) offby1: Changing host
16:17 (join) offby1
16:22 (quit) hanDerPeder: Quit: hanDerPeder
16:23 (join) hanDerPeder
16:36 (quit) masm: Ping timeout: 265 seconds
16:37 (join) masm
17:16 (join) anRch
17:30 (join) offby1`
17:31 (quit) offby1: Ping timeout: 240 seconds
17:34 (quit) Lajla: Ping timeout: 272 seconds
17:41 (nick) offby1` -> offby1
17:41 (quit) offby1: Changing host
17:41 (join) offby1
17:55 (quit) hanDerPeder: Quit: hanDerPeder
18:13 (join) hanDerPeder
18:28 (quit) anRch: Quit: anRch
18:44 (quit) masm: Quit: Leaving.
19:00 (join) rbarraud__
19:05 (quit) rbarraud__: Read error: Connection reset by peer
19:05 (join) rbarraud
19:22 (quit) hanDerPeder: Quit: hanDerPeder
19:33 (join) b-man
19:34 (nick) b-man -> Guest42500
19:43 (quit) Guest42500: Ping timeout: 260 seconds
19:44 (join) Guest42500
19:48 (quit) Guest42500: Remote host closed the connection
19:48 (join) Guest42500
20:47 (quit) jonrafkind: Ping timeout: 252 seconds
20:59 (join) jonrafkind
21:12 (quit) rbarraud: Ping timeout: 240 seconds
21:16 (join) hanDerPeder
22:47 (quit) hanDerPeder: Quit: hanDerPeder
22:53 (join) rbarraud