00:16 (quit) zyoung: Quit: Leaving. 00:43 (quit) AlbireoX: Quit: Leaving 00:56 (join) zyoung 01:06 (quit) ec: Read error: Connection reset by peer 01:55 (quit) yoklov: Quit: bye! 01:58 (quit) zyoung: Quit: Leaving. 02:29 crdueck: do i need to use some external library to access the "amb" operator? 02:31 jhemann__: There are several versions in PLaneT 02:31 jhemann__: http://planet.plt-scheme.org/ 02:36 crdueck: i 02:38 crdueck: is there a guide to using the module? what i'm trying isnt working 02:42 crdueck: nvm, theres docs 02:52 (quit) jonrafkind: Ping timeout: 260 seconds 03:15 crdueck: i want to do something like (let ([a (amb '(1...100))])), how could i do that? is there some way to have amb look over a list of values? 03:25 (join) ydev 03:26 ydev: Can anybody tell me how one can display gif images on text box 03:26 ydev: I tried looking up docs but not finding anything related to gifs 03:31 (join) bitonic 03:34 Haffe: Is it even possible to display gifs? 03:34 Haffe: I thought the gif format was mirred in all kinds of patents. 03:36 (join) kvda 03:46 (quit) kvda: Quit: x__x 04:12 (join) djcb```` 04:13 (quit) djcb```: Ping timeout: 245 seconds 04:13 (join) Shvillr_ 04:14 (quit) Shviller: Disconnected by services 04:14 (nick) Shvillr_ -> Shviller 04:46 (join) Skola 04:46 (quit) Skola: Client Quit 05:09 (join) djcb````` 05:10 (quit) Kaylin: Quit: Leaving. 05:11 (quit) djcb````: Ping timeout: 260 seconds 05:39 (quit) ydev: Ping timeout: 245 seconds 05:52 (join) dzhus 06:10 (quit) djcb`````: Remote host closed the connection 06:11 (join) djcb 06:14 (join) mceier 06:34 (quit) cage: Remote host closed the connection 07:16 (join) masm 07:16 (join) Shviller 07:31 (join) jeapostrophe 07:37 bremner: was 07:37 bremner: gif patents are all expired afaik. But I am not a patent lawyer. 07:50 (quit) mceier: Quit: leaving 08:00 Haffe: Ok. 08:34 (join) bluezenix 08:55 (join) antithesis 09:10 asumu: crdueck: you could do (apply amb (range 1 101)) 09:12 (quit) jeapostrophe: Ping timeout: 245 seconds 10:03 (join) yoklov 10:05 (quit) antithesis: Quit: yes leaving 10:05 (join) djcb` 10:07 (quit) djcb: Ping timeout: 246 seconds 10:09 (join) antithesis 10:13 (join) anRch 10:17 (join) mceier 10:55 (quit) djcb`: Read error: Operation timed out 10:56 (join) lo 10:56 (nick) lo -> Guest43438 10:56 (join) djcb` 11:34 (quit) djcb`: Ping timeout: 240 seconds 11:36 (quit) anRch: Quit: anRch 12:01 eli: crdueck: That depends on the particular `amb' that you're using. 12:01 eli: In case of a function, you can do something like what asumu suggested. 12:02 eli: But there are lots of implementations of an `amb' macro, and in that case that won't work. 12:02 eli: In such cases you can do something like: 12:02 eli: (define (numbers n m) (assert (<= n m)) (amb n (numbers (add1 n) m))) 12:03 eli: Or you can have an infinite one too... (define (integers-from n) (amb n (integers-from (add1 n)))) 12:18 (join) Aune 12:31 (quit) noam_: Read error: Connection reset by peer 12:31 (join) noam_ 12:50 (quit) bitonic: Quit: WeeChat 0.3.5 12:53 (join) zyoung 13:10 (join) dnolen 13:10 (quit) Aune: Remote host closed the connection 13:19 (join) jonrafkind 13:22 (quit) antithesis: Remote host closed the connection 13:27 (join) Kaylin 13:32 (quit) crdueck: Ping timeout: 265 seconds 13:34 (join) MayDaniel 13:46 (join) mye_ 13:46 (quit) MayDaniel: 13:53 (join) antithesis 14:37 (quit) Lunaqus: *.net *.split 14:38 (join) Lunaqus 14:59 (quit) dzhus: Ping timeout: 252 seconds 15:00 (join) 92AAAPPR8 15:09 (nick) 92AAAPPR8 -> dzhus 15:21 (quit) zyoung: Quit: Leaving. 15:44 (join) crdueck 15:47 crdueck: hello, could someone help me understand how to use racket's lazy langauge along with the amb operator. I want something like this (let* ([a (amb (;lazy list of natural numbers)]) 15:59 jamessan: crdueck: you may have missed eli's response earlier. see http://racket-lang.org/irc-logs/20120422.txt at 12:01 16:07 (quit) Kaylin: Quit: Leaving. 16:23 crdueck: thanks jamessan 16:23 (quit) antithesis: Quit: yes leaving 16:24 (quit) cdidd: Read error: Operation timed out 16:39 (join) zyoung 16:46 (quit) bluezenix: Quit: Leaving. 16:47 (quit) blomqvist: Disconnected by services 16:52 (join) jao 16:52 (quit) jao: Changing host 16:52 (join) jao 16:53 (join) blomqvist 16:53 (join) karswell_ 16:54 (quit) karswell: *.net *.split 16:56 (quit) karswell_: Remote host closed the connection 17:06 (join) karswell_ 17:08 (quit) zyoung: Quit: Leaving. 17:28 (join) bluezenix 17:36 (join) jeapostrophe 17:54 (quit) dgs: Read error: Connection reset by peer 17:56 (join) plt 17:57 (quit) plt: Client Quit 17:59 (join) Plobzik 17:59 (quit) Plobzik: Client Quit 18:00 (join) plobzik 18:00 (quit) flying_rhino: Read error: Connection reset by peer 18:02 (quit) plobzik: Read error: Connection reset by peer 18:06 (join) Kaylin 18:09 (join) dgs 18:17 (quit) jeapostrophe: Ping timeout: 265 seconds 18:29 (quit) mceier: Quit: leaving 18:32 (join) plobzik 18:33 (quit) mye_: Ping timeout: 248 seconds 18:33 (quit) plobzik: Read error: Connection reset by peer 18:41 (quit) dnolen: Quit: ERC Version 5.3 (IRC client for Emacs) 18:48 (join) jeapostrophe 18:56 (quit) jeapostrophe: Ping timeout: 244 seconds 19:23 (quit) Shambles_1: Ping timeout: 260 seconds 19:37 (join) jeapostrophe 19:37 (join) Shambles_ 19:41 (join) kvda 19:41 (quit) jeapostrophe: Ping timeout: 245 seconds 20:16 (quit) kvda: Quit: x__x 20:29 (quit) Kaylin: Quit: Leaving. 20:30 (quit) bluezenix: Quit: Leaving. 20:38 (join) jhemann_ 20:41 (quit) jhemann__: Ping timeout: 250 seconds 20:42 (quit) masm: Quit: Leaving. 20:56 (join) jeapostrophe 21:11 (quit) jeapostrophe: Ping timeout: 250 seconds 21:19 (join) kvda 21:40 (quit) maahes: Read error: Operation timed out 21:40 (join) maahes 21:52 (quit) acarrico: Ping timeout: 260 seconds 22:19 (join) acarrico 22:28 (join) jeapostrophe 22:38 (quit) jeapostrophe: Ping timeout: 245 seconds 22:48 (join) cataska_ 22:52 (quit) cataska: *.net *.split 22:55 (join) RacketCommitBot 22:55 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/BkkVtg 22:55 RacketCommitBot: [racket/master] add opening a file (and (hopefully) waiting for the coloring to finish) - Robby Findler 22:55 RacketCommitBot: [racket/master] fix bug in docs; closes PR 12716 - Robby Findler 22:55 (part) RacketCommitBot 22:55 (join) jeapostrophe 23:11 (quit) jeapostrophe: Ping timeout: 240 seconds 23:14 (join) Kaylin 23:19 (quit) kvda: Quit: x__x 23:21 (join) drumond19 23:21 (quit) drumond19: Quit: drumond19 23:27 (join) drumond19 23:47 (join) kvda 23:57 (join) nilyaK