00:00:37 dnolen [~user@cpe-98-14-92-234.nyc.res.rr.com] has joined #scheme 00:03:02 -!- pjb [~t@81.202.16.46.dyn.user.ono.com] has quit [Read error: Connection reset by peer] 00:03:27 pjb [~t@81.202.16.46.dyn.user.ono.com] has joined #scheme 00:03:53 -!- pjb is now known as Guest91909 00:04:35 -!- Guest91909 is now known as pjb 00:04:56 kvda [~kvda@124-169-134-221.dyn.iinet.net.au] has joined #scheme 00:09:13 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Quit: Leaving] 00:09:35 -!- PreciousMetals [~Heart@unaffiliated/colours] has quit [Ping timeout: 240 seconds] 00:10:47 -!- Omer_ [4751971a@gateway/web/freenode/ip.71.81.151.26] has quit [Quit: Page closed] 00:12:05 -!- NihilistDandy [~NihilistD@c-75-69-129-101.hsd1.nh.comcast.net] has quit [Quit: Linkinus - http://linkinus.com] 00:13:04 -!- jeapostrophe [~jay@lallab.cs.byu.edu] has quit [Ping timeout: 240 seconds] 00:21:32 PreciousMetals [~Heart@unaffiliated/colours] has joined #scheme 00:27:59 -!- rostayob [~rostayob@host86-137-9-44.range86-137.btcentralplus.com] has quit [Quit: WeeChat 0.3.5] 00:30:35 -!- dnolen [~user@cpe-98-14-92-234.nyc.res.rr.com] has quit [Ping timeout: 252 seconds] 00:37:23 -!- MrFahrenheit [~RageOfTho@users-38-111.vinet.ba] has quit [Ping timeout: 252 seconds] 00:42:56 -!- githogori [~githogori@c-50-131-15-16.hsd1.ca.comcast.net] has quit [Ping timeout: 240 seconds] 00:43:50 phax [~phax@cpc14-haye17-2-0-cust110.haye.cable.virginmedia.com] has joined #scheme 00:43:50 -!- phax [~phax@cpc14-haye17-2-0-cust110.haye.cable.virginmedia.com] has quit [Changing host] 00:43:50 phax [~phax@unaffiliated/phax] has joined #scheme 00:50:20 -!- jcowan [c6b912cf@gateway/web/freenode/ip.198.185.18.207] has left #scheme 00:57:25 PfhorSlayer [~PfhatWork@sceapdsd43-15.989studios.com] has joined #scheme 00:58:02 devn_ [~devn@rot13.pbqr.org] has joined #scheme 00:58:06 rapacity_ [~prwg@unaffiliated/rapacity] has joined #scheme 00:58:22 shardz_ [~samuel@ilo.staticfree.info] has joined #scheme 00:58:27 dnm_ [~dnm@li97-254.members.linode.com] has joined #scheme 00:58:33 peterbb_ [143027@diamant.ifi.uio.no] has joined #scheme 00:58:59 Shozan [~shozan@c-92b3e253.011-86-73746f30.cust.bredbandsbolaget.se] has joined #scheme 00:59:58 panterax [~panterax@31.176.134.196] has joined #scheme 01:00:40 -!- phax [~phax@unaffiliated/phax] has quit [Quit: Leaving] 01:03:42 -!- cmatei [~cmatei@95.76.22.68] has quit [*.net *.split] 01:03:42 -!- PfhatWork [~PfhatWork@sceapdsd43-15.989studios.com] has quit [*.net *.split] 01:03:42 -!- peterhil [~peterhil@xdsl-77-86-196-131.nebulazone.fi] has quit [*.net *.split] 01:03:42 -!- shardz [~samuel@ilo.staticfree.info] has quit [*.net *.split] 01:03:42 -!- SHODAN [~shozan@c-92b3e253.011-86-73746f30.cust.bredbandsbolaget.se] has quit [*.net *.split] 01:03:42 -!- devn [~devn@rot13.pbqr.org] has quit [*.net *.split] 01:03:42 -!- dnm [~dnm@li97-254.members.linode.com] has quit [*.net *.split] 01:03:44 -!- rapacity [~prwg@li98-163.members.linode.com] has quit [*.net *.split] 01:03:44 -!- peterbb [143027@diamant.ifi.uio.no] has quit [*.net *.split] 01:04:36 homie [~levgue@xdsl-78-35-170-149.netcologne.de] has joined #scheme 01:05:12 peterhil [~peterhil@xdsl-77-86-196-131.nebulazone.fi] has joined #scheme 01:09:27 leo2007 [~leo@119.255.41.67] has joined #scheme 01:09:40 cmatei [~cmatei@95.76.22.68] has joined #scheme 01:11:16 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Ping timeout: 240 seconds] 01:13:04 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 01:21:27 -!- samth is now known as samth_away 01:21:34 -!- jonrafkind [~jon@crystalis.cs.utah.edu] has quit [Read error: Operation timed out] 01:22:33 -!- ianjneu [~ianjneu@moonpatrol.ccs.neu.edu] has quit [Quit: Leaving] 01:25:09 sodel [~dralston_@S0106687f74a12729.va.shawcable.net] has joined #scheme 01:26:30 -!- sodel [~dralston_@S0106687f74a12729.va.shawcable.net] has quit [Client Quit] 01:26:56 -!- leppie [~lolcow@196-210-143-222.dynamic.isadsl.co.za] has quit [Read error: Connection reset by peer] 01:27:23 -!- turbofail [~user@c-107-3-149-149.hsd1.ca.comcast.net] has quit [Ping timeout: 260 seconds] 01:29:07 provb [~chatzilla@bas5-oshawa95-1176338125.dsl.bell.ca] has joined #scheme 01:29:33 hi 01:30:01 homie` [~levgue@xdsl-78-35-134-213.netcologne.de] has joined #scheme 01:31:17 -!- _schulte_ [~eschulte@c-174-56-1-147.hsd1.nm.comcast.net] has quit [Quit: leaving] 01:32:37 -!- homie [~levgue@xdsl-78-35-170-149.netcologne.de] has quit [Ping timeout: 248 seconds] 01:33:38 arthurmaciel [~user@186.204.126.4] has joined #scheme 01:35:12 leppie [~lolcow@196-210-143-222.dynamic.isadsl.co.za] has joined #scheme 01:38:50 -!- bytbox [~s@96.26.105.154] has quit [Quit: Lost terminal] 01:39:50 Can somebody tell me if/how it's possible to compile SCHEME to a .exe file using Scheme48 (or any other) compiler? 01:41:51 provb: csc foo.scm # using chicken compiler 01:41:53 provb: Use Chicken. 01:41:55 Jinx! 01:42:11 Ok, I'll try that. Thanks 01:42:20 Speaking of Chicken, I mean to try out the KFC buffet soon. :-P 01:48:16 cky, qulj0t3: Is there Chicken for Windows? 01:48:38 nvm, found it 01:50:20 -!- homie` [~levgue@xdsl-78-35-134-213.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 01:58:07 bytbox [~s@96.26.105.154] has joined #scheme 01:59:55 -!- provb [~chatzilla@bas5-oshawa95-1176338125.dsl.bell.ca] has quit [Quit: ChatZilla 0.9.88 [Firefox 3.6.6/20100625231939]] 02:05:50 -!- masm [~masm@bl19-170-245.dsl.telepac.pt] has quit [Quit: Leaving.] 02:08:47 masm [~masm@2.80.170.245] has joined #scheme 02:12:29 flonum [~ben@24-138-98-109.zing-net.ca] has joined #scheme 02:12:34 -!- flonum [~ben@24-138-98-109.zing-net.ca] has left #scheme 02:15:44 -!- otakutomo [~otakutomo@KD027083117212.ppp-bb.dion.ne.jp] has quit [Remote host closed the connection] 02:33:55 homie [~levgue@xdsl-78-35-134-213.netcologne.de] has joined #scheme 02:41:39 jeapostrophe [~jay@69.169.141.110.provo.static.broadweavenetworks.net] has joined #scheme 02:45:38 -!- bytbox [~s@96.26.105.154] has quit [Quit: Lost terminal] 02:48:19 -!- karswell [~coat@93-97-29-243.zone5.bethere.co.uk] has quit [Read error: Operation timed out] 02:49:13 -!- X-Scale [email@sgi-ultra64.broker.freenet6.net] has quit [Ping timeout: 268 seconds] 02:49:42 karswell [~coat@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 02:50:48 Guest3454 [email@sgi-ultra64.broker.freenet6.net] has joined #scheme 02:53:40 -!- confab [~confab@c-71-193-9-153.hsd1.ca.comcast.net] has quit [Ping timeout: 240 seconds] 02:54:14 -!- Khisanth [~Khisanth@50.14.244.111] has quit [Quit: Leaving] 02:57:02 cswords [~cswords@c-98-223-234-80.hsd1.in.comcast.net] has joined #scheme 02:58:24 -!- mmc1 [~michal@178-85-131-65.dynamic.upc.nl] has quit [Ping timeout: 240 seconds] 03:20:03 confab [~confab@c-71-193-9-153.hsd1.ca.comcast.net] has joined #scheme 03:20:44 -!- tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has quit [Ping timeout: 240 seconds] 03:20:44 jcowan [~John@cpe-98-14-172-212.nyc.res.rr.com] has joined #scheme 03:21:08 xwl_ [user@nat/nokia/x-hzcmxzdmuhpgvjao] has joined #scheme 03:32:44 -!- masm [~masm@2.80.170.245] has quit [Quit: Leaving.] 03:33:41 bytbox [~s@96.26.105.154] has joined #scheme 03:38:51 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has quit [Remote host closed the connection] 03:46:15 -!- Guest3454 is now known as X-Scale 03:47:37 -!- copumpkin [~copumpkin@unaffiliated/pumpkingod] has quit [Quit: Computer has gone to sleep.] 03:48:40 -!- ijp [~user@host86-177-157-67.range86-177.btcentralplus.com] has quit [Quit: The garbage collector got me] 03:53:18 mikecsh [~mikecsh@113.28.74.33] has joined #scheme 03:59:54 githogori [~githogori@221.sub-75-210-88.myvzw.com] has joined #scheme 04:03:57 -!- mikecsh [~mikecsh@113.28.74.33] has quit [Quit: mikecsh] 04:04:44 tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has joined #scheme 04:04:55 tuubow_ [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has joined #scheme 04:05:10 -!- tuubow_ [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has quit [Client Quit] 04:06:34 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Quit: Leaving] 04:11:40 -!- arthurmaciel [~user@186.204.126.4] has quit [Remote host closed the connection] 04:13:39 copumpkin [~copumpkin@unaffiliated/pumpkingod] has joined #scheme 04:24:00 drwho [~drwho@c-68-81-125-196.hsd1.pa.comcast.net] has joined #scheme 04:44:15 -!- jeapostrophe [~jay@69.169.141.110.provo.static.broadweavenetworks.net] has quit [Ping timeout: 240 seconds] 04:46:04 -!- jao [~user@pdpc/supporter/professional/jao] has quit [Ping timeout: 240 seconds] 04:47:27 dnolen [~user@cpe-98-14-92-234.nyc.res.rr.com] has joined #scheme 04:56:06 -!- DGASAU [~user@91.218.144.129] has quit [Read error: Connection reset by peer] 05:03:04 -!- xwl_ [user@nat/nokia/x-hzcmxzdmuhpgvjao] has quit [Remote host closed the connection] 05:04:33 xwl_ [user@nat/nokia/x-ysoqakkkulmaonve] has joined #scheme 05:16:52 DGASAU [~user@91.218.144.129] has joined #scheme 05:18:05 -!- dnolen [~user@cpe-98-14-92-234.nyc.res.rr.com] has quit [Remote host closed the connection] 05:24:00 -!- confab [~confab@c-71-193-9-153.hsd1.ca.comcast.net] has quit [Ping timeout: 268 seconds] 05:24:12 -!- bytbox [~s@96.26.105.154] has quit [Quit: Lost terminal] 05:24:52 jonrafkind [~jon@jonr5.dsl.xmission.com] has joined #scheme 05:29:58 gravicappa [~gravicapp@ppp91-77-173-91.pppoe.mtu-net.ru] has joined #scheme 05:32:31 hba [~hba@189.130.178.126] has joined #scheme 05:37:16 -!- githogori [~githogori@221.sub-75-210-88.myvzw.com] has quit [Ping timeout: 276 seconds] 05:44:49 bytbox [~s@96.26.105.154] has joined #scheme 05:48:52 Khisanth [~Khisanth@50.14.244.111] has joined #scheme 05:52:01 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 06:04:37 confab [~confab@c-71-193-9-153.hsd1.ca.comcast.net] has joined #scheme 06:10:52 -!- devn_ is now known as devn 06:12:08 -!- karswell [~coat@93-97-29-243.zone5.bethere.co.uk] has quit [Ping timeout: 240 seconds] 06:13:42 tom_i [~thomasing@ingserv.demon.co.uk] has joined #scheme 06:16:54 -!- kvda [~kvda@124-169-134-221.dyn.iinet.net.au] has quit [Quit: -___-] 06:37:37 -!- jrslepak [~jrslepak@c-71-233-151-135.hsd1.ma.comcast.net] has quit [Quit: This computer has gone to sleep] 06:37:50 githogori [~githogori@c-50-131-15-16.hsd1.ca.comcast.net] has joined #scheme 06:44:37 -!- acarrico [~acarrico@pppoe-68-142-39-140.gmavt.net] has quit [Ping timeout: 252 seconds] 07:00:18 -!- jcowan [~John@cpe-98-14-172-212.nyc.res.rr.com] has left #scheme 07:00:40 phax [~phax@unaffiliated/phax] has joined #scheme 07:07:55 -!- gravicappa [~gravicapp@ppp91-77-173-91.pppoe.mtu-net.ru] has quit [Ping timeout: 240 seconds] 07:10:50 GoKhlayeh [~GoKhlayeh@33.31.80.79.rev.sfr.net] has joined #scheme 07:16:33 -!- realitygrill [~realitygr@adsl-76-226-139-212.dsl.sfldmi.sbcglobal.net] has quit [Quit: realitygrill] 07:17:37 -!- djcb [~user@a88-114-95-13.elisa-laajakaista.fi] has quit [Read error: Connection reset by peer] 07:27:00 -!- phax [~phax@unaffiliated/phax] has quit [Ping timeout: 240 seconds] 07:37:26 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 252 seconds] 07:37:31 -!- tom_i [~thomasing@ingserv.demon.co.uk] has quit [Ping timeout: 276 seconds] 07:51:27 djcb [djcb@nat/nokia/x-hukkpmozdhxnjrpw] has joined #scheme 07:51:27 karswell [~coat@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 07:54:06 kniu [~kniu@pool-71-106-0-41.lsanca.dsl-w.verizon.net] has joined #scheme 07:59:01 gravicappa [~gravicapp@ppp91-77-169-142.pppoe.mtu-net.ru] has joined #scheme 08:00:07 -!- kniu [~kniu@pool-71-106-0-41.lsanca.dsl-w.verizon.net] has quit [Ping timeout: 252 seconds] 08:12:48 kniu [~kniu@pool-71-106-0-41.lsanca.dsl-w.verizon.net] has joined #scheme 08:14:02 kpal [~kpal@janus-nat-128-240-225-120.ncl.ac.uk] has joined #scheme 08:17:38 -!- copumpkin [~copumpkin@unaffiliated/pumpkingod] has quit [Ping timeout: 240 seconds] 08:18:10 copumpkin [~copumpkin@unaffiliated/pumpkingod] has joined #scheme 08:22:18 T0by [~To8y@static-217-133-64-53.clienti.tiscali.it] has joined #scheme 08:22:32 Hello 08:23:37 anyone willing to help me a bit? 08:23:38 -!- bfig [~b_fin_g@r186-48-204-76.dialup.adsl.anteldata.net.uy] has quit [Read error: Connection reset by peer] 08:24:01 (Beware: sttrictly theoretical matter) 08:29:08 -!- toekutr [~user@50-0-51-2.dsl.static.sonic.net] has quit [Remote host closed the connection] 08:29:49 hkBst [~marijn@gentoo/developer/hkbst] has joined #scheme 08:31:18 I'm finding it a little hard to prove by induction a square function in scheme from a textbook. Anybody willing to help me sort it out? 08:40:34 bfig [~b_fin_g@r186-48-220-167.dialup.adsl.anteldata.net.uy] has joined #scheme 08:42:25 T0by: ask your question and find out... 08:45:10 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Quit: Leaving] 08:46:21 tom_i [~thomasing@cmc.beaming.biz] has joined #scheme 08:49:14 -!- Shozan is now known as SHODAN 08:51:47 !meta lilypond 08:57:33 wingo [~wingo@90.164.198.39] has joined #scheme 09:02:01 -!- hba [~hba@189.130.178.126] has quit [Quit: leaving] 09:06:13 -!- bytbox [~s@96.26.105.154] has quit [Quit: Lost terminal] 09:08:09 -!- arbscht [~arbscht@fsf/member/arbscht] has quit [Quit: WeeChat 0.3.6] 09:10:47 -!- xwl_ [user@nat/nokia/x-ysoqakkkulmaonve] has quit [Ping timeout: 260 seconds] 09:11:10 arbscht [~arbscht@fsf/member/arbscht] has joined #scheme 09:15:05 oh, well 09:15:12 I'm reading Concrete Abstractions 09:15:19 You can find full text here 09:15:20 https://gustavus.edu/+max/concrete-abstractions-pdfs/index.html 09:15:53 Recursion and induction, page 30 09:15:57 i peeked at that book a few months ago 09:16:02 seemed kind of dated 09:16:04 there's this nice function: 09:16:13 how do you like the book, T0by? 09:16:42 Well 09:17:12 at the moment I'm unable to understand its first example of an inductive proof 09:17:18 so I can't say I'm in love with it 09:17:24 but I'm sure it's because I'm a stupid goat 09:17:30 Anyway, here it is: 09:17:39 (define square 09:17:39 (lambda (n) 09:17:39 (if (= n 0) 09:17:40 0 09:17:40 (+ (square (- n 1)) 09:17:40 (- (+ n n) 1))))) 09:18:00 I intuitively understand the function, it's rather simple 09:18:06 but I don't get the next part: its proof. 09:19:00 It says 09:19:11 Base case: (square 0) terminates with the value 0 because of the evaluation 09:19:11 rule for if. 09:19:16 Okay, this sounds reasonable to me. 09:19:18 Next: 09:19:33 Induction hypothesis: Assume that (square k) terminates with the value k2 for 09:19:33 all k in the range 0  k  n. 09:19:33 Inductive step: Consider evaluating (square n), with n  0. This will ter- 09:19:33 minate if the evaluation of (square (- n 1)) does and will have the same 09:19:33 value as (+ (square (- n 1)) (- (+ n n) 1)). 09:19:43 I don't get this. 09:20:01 "This will terminate if the evalutation of (square (- n 1) does and will have the same value as ... 09:20:18 Shouldn't it terminate when n = 0 and recurse otherwise? 09:20:59 right.. it does 09:21:14 that's when (square (- n 1) and all other calls to square terminate 09:21:36 -!- gravicappa [~gravicapp@ppp91-77-169-142.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 09:21:57 But then why should it happen "if if the evaluation of (square (- n 1)) does and will have the same value as (+ (square (- n 1)) (- (+ n n) 1))."? 09:22:09 Does this EVER happen, by the way? 09:22:22 It's trying to say that it halts, i.e. does not run forever. 09:22:48 T0by: i don't understand your question 09:23:00 That is, (square n) will eventually terminate, if the evaluation of (square (- n 1)) does. 09:23:35 This sounds fine to me 09:23:42 But... 09:23:47 (Told you I'm dumb) 09:23:56 all calls to square, no matter what arguments its given (as long as they're syntactically valid) terminate when n = 0 09:24:03 Right. 09:24:29 But it doesn't say so. 09:24:46 It says that it terminates when (square (- n 1)) does and will etc. 09:24:47 Now 09:24:55 I can't understand why. 09:24:58 Actually 09:25:22 I would be led to doubt that (square (- n 1)) does EVER have the same value as (+ (square (- n 1)) (- (+ n n) 1)). 09:25:34 It doesn't say (square (- n 1)) has that value. 09:25:38 It says (square n) has it. 09:25:44 Uh-oh 09:25:46 wait a moment... 09:25:47 typo? 09:26:10 Oh, jesus. 09:26:12 " Consider evaluating (square n), -- This -- will have the same value as (+ (square (- n 1)) (- (+ n n) 1))." 09:26:21 OH. 09:26:24 Okay 09:26:28 this is starting to make sense 09:26:35 T0by: btw, in the future, please use a code pasting site like http://paste.lisp.org/new/scheme rather than pasting lots of text/code directly in to this channel 09:26:48 Okay 09:26:48 if you're pasting more than about 3 lines, use the paste site instead 09:26:57 Thanks 09:27:08 What, in browser lisp evalutation? Cool! 09:27:09 And it's also stating that whether (square n) eventually terminates and produces a result (instead of just recursing forever) depends on whether (square (- n 1)) does. 09:27:11 Anyway 09:27:23 what about the "This will terminate if the evaluation of (square (- n 1)) does and will have..." part? 09:27:24 (Because all the other parts in (+ (square (- n 1)) (- (+ n n) 1)) obviously do.) 09:28:17 "This [i.e. (square n)] will terminate [instead of running forever] if the evaluation of (square (- n 1)) does [which by the induction assumption it does] ..." 09:29:17 Especially the "does and will" part. 09:29:38 Those are two separate sentences. 09:30:05 It will (terminate if (square (- n 1)) does) and (will have the value ...). 09:30:43 Oh, boy. 09:30:45 Thank you, fizzie. 09:30:56 Not being an English speaker sucks sometimes. 09:39:00 Thank you a lot! 09:44:59 -!- leo2007 [~leo@119.255.41.67] has quit [Ping timeout: 260 seconds] 09:55:27 masm [~masm@bl19-170-245.dsl.telepac.pt] has joined #scheme 10:08:54 -!- DGASAU [~user@91.218.144.129] has quit [Read error: Connection reset by peer] 10:10:24 how do i make this macro expansion so i can have things next to each other rather than nested? http://paste.lisp.org/display/127045 10:13:11 DGASAU [~user@91.218.144.129] has joined #scheme 10:34:35 -!- tom_i [~thomasing@cmc.beaming.biz] has quit [Quit: leaving] 10:34:47 ah i've got an answer 10:35:12 leo2007 [~leo@114.249.198.20] has joined #scheme 10:35:40 Uh, one more question. 10:36:02 Hailperin 10:37:00 calls "iterative" a function like (define factorial-product (lambda (a b) ; compute a * b! (if (= b 0) a (factorial-product (* a b) (- b 1))))) 10:37:06 Now 10:37:32 I've been more or less raised on Perl, C and b-movies 10:37:41 That's what I would still call recursive 10:37:52 for the function calls itself to solve a smaller chunk of the problem. 10:38:08 Should I kind of forget this definition? 10:44:35 I would have called it a (tail-)recursive function, not an iterative one. 10:47:17 SICP (IIRC, from memory) would call it a (tail-)recursive function which defines an iterative process. 10:48:41 New word! 10:49:10 And new concept! 10:49:11 Dichotomy between function and process. 10:49:44 -!- panterax [~panterax@31.176.134.196] has quit [Ping timeout: 260 seconds] 10:50:05 Er, SICP == Sussman&Abelson? 10:50:06 panterax [~panterax@31.176.136.17] has joined #scheme 10:50:28 see /topic 10:50:53 Oh. 10:50:55 Thanks. 10:51:07 I'm not entirely sure I've seen the word "process" used exactly as in SICP anywhere else, though. But if you want, you can read the chapter 1.2 "Procedures and the Processes They Generate" from there. 10:51:20 i will. 10:51:34 Ooooh, this is one of those little books with a biiiig sense of humour. 10:51:36 Cy D. Fect: A "reformed C programmer." 10:51:46 That would be me :P 10:54:16 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Remote host closed the connection] 10:56:12 tom_i [~thomasing@cmc.beaming.biz] has joined #scheme 11:07:30 -!- Adrinael [~adrinael@barrel.rolli.org] has quit [Ping timeout: 268 seconds] 11:07:59 Adrinael [~adrinael@barrel.rolli.org] has joined #scheme 11:12:07 pchrist [~spirit@gentoo/developer/pchrist] has joined #scheme 11:35:44 -!- tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has quit [Ping timeout: 240 seconds] 11:37:58 -!- foof [~user@li126-140.members.linode.com] has quit [Remote host closed the connection] 11:38:04 foof [~user@li126-140.members.linode.com] has joined #scheme 11:38:23 -!- Arafangion [~Arafangio@220-244-108-23.static.tpgi.com.au] has quit [Ping timeout: 255 seconds] 11:38:24 -!- ASau [~user@95-27-254-164.broadband.corbina.ru] has quit [Remote host closed the connection] 11:38:27 ASau` [~user@95-27-254-164.broadband.corbina.ru] has joined #scheme 11:53:04 acarrico [~acarrico@pppoe-68-142-39-140.gmavt.net] has joined #scheme 11:53:30 add^_ [~add^_^@m212-152-11-173.cust.tele2.se] has joined #scheme 12:05:23 -!- incubot [~incubot@klutometis.wikitex.org] has quit [Ping timeout: 255 seconds] 12:06:27 incubot [~incubot@klutometis.wikitex.org] has joined #scheme 12:23:56 -!- add^_ [~add^_^@m212-152-11-173.cust.tele2.se] has quit [Quit: add^_] 12:31:01 -!- leo2007 [~leo@114.249.198.20] has quit [Quit: rcirc on GNU Emacs 23.3.50.1] 12:37:08 airolson [~airolson@CPE00222d55a738-CM00222d55a735.cpe.net.cable.rogers.com] has joined #scheme 12:42:00 -!- wingo [~wingo@90.164.198.39] has quit [Ping timeout: 249 seconds] 12:48:27 jao [~user@pdpc/supporter/professional/jao] has joined #scheme 12:49:50 how can i force early expansion of a usage of a macro inside the expansion of another, so i can use its results for further expansion? http://paste.lisp.org/display/127047 12:50:17 baggito: macros dont work that way :) 12:50:57 I think you can use CPS style macros though to do it (seeing that you are using syntax-rules) 12:53:03 i think i migth just organise this thing a little differently 12:53:55 if i use an operation symbol as an argument to the inner macro, i don't need to partition them at all 12:54:01 if it DID work, it would allow nonsensical code like (let (a) a) where macro A returns ((a #f)) 12:55:52 unfortunately I am not much of a syntax-rules person (I use syntax-case mostly) 12:56:42 baggito: what scheme are you using, looking at your code, it would be quite simple with syntax-case 12:57:06 make-thinger-defs would simply be a procedure that is available in the syntax phase 12:57:54 ok 12:58:21 i'll look at syntax-case for whatever i do next, but i think i have a better idea how i should structure this now anyway 12:58:24 thanks for the help :) 12:58:33 in R6RS that implies it is in a helper library, not sure about other schemes 12:58:45 baggito: no problem :) 12:58:49 CL-USER> syntax-case 12:58:50 # 12:58:55 seems to exist in kawa :) 12:59:00 nice! 12:59:37 syntax-case is rather easy to learn if you know syntax-rules, you just need to be a bit more explicit 13:02:44 leo2007 [~leo@123.123.252.95] has joined #scheme 13:15:19 soveran [~soveran@186.19.214.247] has joined #scheme 13:17:45 tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has joined #scheme 13:25:12 jrslepak [~jrslepak@c-71-233-151-135.hsd1.ma.comcast.net] has joined #scheme 13:27:07 jeapostrophe [~jay@69.169.141.110.provo.static.broadweavenetworks.net] has joined #scheme 13:29:45 _pa_ [~pa@static-213-115-28-4.sme.bredbandsbolaget.se] has joined #scheme 13:33:42 homie` [~levgue@xdsl-87-79-195-196.netcologne.de] has joined #scheme 13:36:03 -!- homie [~levgue@xdsl-78-35-134-213.netcologne.de] has quit [Ping timeout: 252 seconds] 13:43:48 -!- homie` [~levgue@xdsl-87-79-195-196.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 13:44:35 -!- jrslepak [~jrslepak@c-71-233-151-135.hsd1.ma.comcast.net] has quit [Quit: This computer has gone to sleep] 13:45:09 dzhus [~sphinx@95-27-204-231.broadband.corbina.ru] has joined #scheme 13:53:46 -!- airolson [~airolson@CPE00222d55a738-CM00222d55a735.cpe.net.cable.rogers.com] has quit [] 13:54:41 ahinki [~chatzilla@212.99.10.150] has joined #scheme 13:55:01 homie [~levgue@xdsl-87-79-195-196.netcologne.de] has joined #scheme 14:05:30 bweaver [~user@host-68-169-175-226.WISOLT2.epbfi.com] has joined #scheme 14:18:02 -!- soveran [~soveran@186.19.214.247] has quit [Remote host closed the connection] 14:19:07 gravicappa [~gravicapp@ppp91-77-169-142.pppoe.mtu-net.ru] has joined #scheme 14:27:41 soveran [~soveran@186.19.214.247] has joined #scheme 14:29:02 baggito: btw Kawa's macro system might be broken if it returns a value when you evaluate 'syntax-case', it should be invalid syntax 14:29:22 unless this is a noted 'feature' 14:37:58 rostayob [~rostayob@dyn1217-195.wlan.ic.ac.uk] has joined #scheme 14:38:32 Identifier syntax! (Not really sure what it should evaluate to, though.) 14:41:32 cky: perhaps that criteria is only relevant for R6RS's syntax-case, I dont know #dontuseotherschemes:( 14:42:29 -!- GoKhlayeh [~GoKhlayeh@33.31.80.79.rev.sfr.net] has quit [Ping timeout: 248 seconds] 14:43:03 MrFahrenheit [~RageOfTho@users-38-111.vinet.ba] has joined #scheme 14:44:57 leppie: What I mean is, I'm not entirely sure what syntax-case would evaluate to when used in an identifier-syntax context. 14:45:36 leppie: Certainly, no implementation I've seen allows use of syntax-case in an identifier-syntax way. 14:47:08 cky: I dont understand that last statement. 14:49:05 GoKhlayeh [~GoKhlayeh@33.31.80.79.rev.sfr.net] has joined #scheme 14:49:43 http://www.r6rs.org/final/html/r6rs-lib/r6rs-lib-Z-H-13.html#node_idx_1120 14:49:59 syntax-case can just be used with that 'proc' 14:50:12 s/with/within/ 14:51:09 zhangkaizhao [~zhangkaiz@27.47.21.159] has joined #scheme 14:53:08 with psyntax you dont even need 'make-variable-transformer', you just need a general case, eg (syntax-case x () [e ...]) 14:53:11 -!- samth_away is now known as samth 14:54:46 rudybot: eval (define-syntax foo (lambda (x) (syntax-case x () [e #''e]))) 14:54:47 leppie: your sandbox is ready 14:54:47 leppie: Done. 14:54:55 rudybot: eval foo 14:54:55 leppie: ; Value: foo 14:55:29 cky: racket has the same behavior :) 14:55:55 leppie: "In an identifier-syntax way" means used bare, rather than like (foo ...). 14:56:14 cky: and 'eval foo' is not? 14:56:27 leppie: Let's try again. 14:56:41 leppie: No implementation of syntax-case I've seen allows you to say "syntax-case" outside of a form. 14:56:42 :) 14:56:51 That's probably because it doesn't make any sense to. 14:56:53 araujo [~araujo@190.73.44.29] has joined #scheme 14:56:53 -!- araujo [~araujo@190.73.44.29] has quit [Changing host] 14:56:53 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 14:57:04 cky: stop! 14:57:13 mmc1 [~michal@sams-office-nat.tomtomgroup.com] has joined #scheme 14:57:28 you can use syntax-case anywhere, with syntax or lists or any scheme object for that matter 14:57:44 Of course you can. 14:57:48 You're still missing my point. 14:57:59 You can't do something like this: (define foo syntax-case). 14:57:59 it seems I am :| 14:58:21 That is what I meant by using "syntax-case" in an identifier-syntax way. i.e., syntax-case is not an identifier-syntax. 14:58:27 And it probably doesn't make sense for it to be. 14:59:44 Cowmoo [~Cowmoo@cambridge-vxty.basistech.com] has joined #scheme 15:02:19 cky: I am trying to follow. (define foo let) != sense, but (define-syntax foo let) might. Am I following correctly? 15:02:57 like a syntax alias 15:04:17 leppie, not really, the right-hand-side of a define-syntax is still an expression. In racket, you can do what you suggested with (define-syntax foo (make-rename-transformer (syntax let))) 15:04:56 *cky* just learnt something new. 15:05:02 (Namely, make-rename-transformer.) 15:06:00 *leppie* implements it in ironscheme (if not already there, could be handy like define-syntax-rule) 15:07:36 The Racket notion of rename transformer isn't quite the obvious function that just produces a reference to the other identifier. It's actually a hook into the expander that makes the two names synonymous for (nearly) all purposes. So for instance, (free-identifier=? (syntax foo) (syntax let)) becomes true. 15:07:40 actually, it is too boring to implement... i'll leave that for a rainy day. Modules/libraries already do the same thing 15:08:22 carleastlund: very interesting! so it behaves like a renamed imported binding in fact? 15:08:53 Quite similar, yes. Although in Racket renamed imports have a separate implementation, for details I've never looked into. 15:09:04 "for details" --> "for reasons whose details" 15:09:16 damn I would have implemented it completely WRONG! AWKARD FAIL! 15:09:54 Well, a rename transformer doesn't work as a function, so the straightforward implementation is still useful if you want to apply it manually as part of a larger macro. 15:09:55 carleastlund: they're actually different, because the free-id relation is optional 15:10:09 (and also new) 15:10:58 grrrr, these racket schemers really do think of everything, dont they? 15:10:59 It's also a collusion with syntax-local-value, yes. But from a macro expressiveness standpoint, as far as I'm concerned, the free-id relation is the only real interesting part. 15:11:42 Precisely because it's the only way to simulate renamed imports at a sub-module level. 15:12:09 samth: if you guys had to integrate Racket into Visual Studio, you would tonnes of new users 15:12:23 would get tonnes 15:12:26 carleastlund: it's interesting even without free-id=? b/c of `set!' transformers 15:13:46 The syntax-local-value and set! collusions could work with just struct properties on special kinds of transformers. The free-id renaming requires an actual change to the representation of syntax objects. It becomes part of the renaming applied by whatever defines that name. 15:14:14 bytbox [~s@96.26.105.154] has joined #scheme 15:14:41 -!- jeapostrophe [~jay@69.169.141.110.provo.static.broadweavenetworks.net] has quit [Ping timeout: 252 seconds] 15:15:14 carleastlund: the syntax-local-value redirection is not macro-expressible 15:15:40 at least, i don't see how to do it 15:15:56 -!- pygospa [~Pygosceli@kiel-4dbece2d.pool.mediaWays.net] has quit [Disconnected by services] 15:16:08 pygospa [~Pygosceli@kiel-4dbec2c0.pool.mediaWays.net] has joined #scheme 15:16:08 samth: Of course it is. I could implement a new, identical sort of collusion with my own "carl's redirect transformers" using syntax-local-value/immediate and an obvious recursive loop. 15:16:39 Or, actually, just syntax-local-value, since rename transformers aren't involved. 15:17:03 *leppie* quietly disappear out of this intellectual conversation 15:17:28 carleastlund: obviously you could implement your own version of syntax-local-value 15:17:32 Obviously I'd be writing my own syntax-local-value clone, but if Matthew did it, it'd be the real one. :) 15:17:47 but that's not the same thing at all 15:19:01 True, but I at least could write my own syntax-local-value. I could not write my own free-identifier=? because I couldn't apply a rename-transformer-like wrap to syntax objects. 15:19:35 Hmm. Am I just plain wrong here? Does free-id=? just do a syntax-local-value lookup? 15:20:05 It's suggestive of a deeper implementation, but perhaps I have deceived myself about the implications of that. 15:21:16 dan64 [~dan64@c-71-206-193-42.hsd1.pa.comcast.net] has joined #scheme 15:21:42 wingo [~wingo@188.84.169.2] has joined #scheme 15:23:01 -!- copumpkin [~copumpkin@unaffiliated/pumpkingod] has quit [Quit: Computer has gone to sleep.] 15:24:26 Oh, no, Batman hates Scheme! http://www.smbc-comics.com/index.php?db=comics&id=2491#comic 15:27:54 Worst pun ever. :-P 15:28:14 It has some pretty stiff competition for that title, but it's definitely in the running. 15:28:37 :-D 15:34:45 -!- mmc1 [~michal@sams-office-nat.tomtomgroup.com] has quit [Remote host closed the connection] 15:35:49 realitygrill [~realitygr@adsl-76-226-139-212.dsl.sfldmi.sbcglobal.net] has joined #scheme 15:38:25 jeapostrophe [~jay@lallab.cs.byu.edu] has joined #scheme 15:46:27 soveran_ [~soveran@186.19.214.247] has joined #scheme 15:46:28 -!- soveran [~soveran@186.19.214.247] has quit [Read error: Connection reset by peer] 15:48:16 -!- jeapostrophe [~jay@lallab.cs.byu.edu] has quit [Ping timeout: 276 seconds] 15:52:17 -!- ahinki [~chatzilla@212.99.10.150] has quit [Quit: ChatZilla 0.9.88 [Firefox 10.0/20120104111456]] 15:54:20 -!- soveran_ [~soveran@186.19.214.247] has quit [Remote host closed the connection] 16:02:15 -!- Cowmoo [~Cowmoo@cambridge-vxty.basistech.com] has quit [Remote host closed the connection] 16:04:01 copumpkin [~copumpkin@unaffiliated/pumpkingod] has joined #scheme 16:04:53 _schulte_ [~eschulte@c-174-56-1-147.hsd1.nm.comcast.net] has joined #scheme 16:16:33 kk` [~kk@unaffiliated/kk/x-5380134] has joined #scheme 16:16:56 add^_ [~add^_^@m212-152-13-121.cust.tele2.se] has joined #scheme 16:22:10 SeanTAllen_ [u4855@gateway/web/irccloud.com/x-hlcxgbeuvquakshr] has joined #scheme 16:22:25 -!- SeanTAllen [u4855@gateway/web/irccloud.com/x-lawklmpconudkgmc] has quit [Max SendQ exceeded] 16:25:07 -!- pygospa [~Pygosceli@kiel-4dbec2c0.pool.mediaWays.net] has quit [Disconnected by services] 16:25:19 pygospa [~Pygosceli@kiel-d9bfcb03.pool.mediaWays.net] has joined #scheme 16:35:23 -!- bfig [~b_fin_g@r186-48-220-167.dialup.adsl.anteldata.net.uy] has quit [Remote host closed the connection] 16:39:45 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 16:56:50 soveran [~soveran@186.19.214.247] has joined #scheme 17:03:35 mmc1 [~michal@178-85-131-65.dynamic.upc.nl] has joined #scheme 17:03:39 -!- icrazyhack [~horieyui@112.90.208.33] has quit [Quit: http://www.cnblogs.com/crazyhack] 17:03:54 -!- hkBst [~marijn@gentoo/developer/hkbst] has quit [Quit: Konversation terminated!] 17:07:45 shurane [~mortimer@65-86-91-130.client.dsl.net] has joined #scheme 17:09:00 GoKhlaye1 [~GoKhlayeh@33.31.80.79.rev.sfr.net] has joined #scheme 17:09:01 -!- GoKhlayeh [~GoKhlayeh@33.31.80.79.rev.sfr.net] has quit [Ping timeout: 252 seconds] 17:13:24 dnolen [aa95640a@gateway/web/freenode/ip.170.149.100.10] has joined #scheme 17:17:38 ijp [~user@host31-53-168-130.range31-53.btcentralplus.com] has joined #scheme 17:19:22 -!- T0by [~To8y@static-217-133-64-53.clienti.tiscali.it] has quit [Ping timeout: 240 seconds] 17:19:26 sureaint [~mortimer@65-86-91-130.client.dsl.net] has joined #scheme 17:20:42 -!- tom_i [~thomasing@cmc.beaming.biz] has quit [Read error: Operation timed out] 17:21:48 -!- shurane [~mortimer@65-86-91-130.client.dsl.net] has quit [Ping timeout: 244 seconds] 17:24:26 -!- djcb [djcb@nat/nokia/x-hukkpmozdhxnjrpw] has quit [Remote host closed the connection] 17:26:03 icrazyhack [~horieyui@113.106.212.37] has joined #scheme 17:31:16 shurane [~mortimer@65-86-91-130.client.dsl.net] has joined #scheme 17:32:51 -!- REPLeffect [~REPLeffec@69.54.115.254] has quit [Remote host closed the connection] 17:33:25 -!- sureaint [~mortimer@65-86-91-130.client.dsl.net] has quit [Ping timeout: 260 seconds] 17:34:35 REPLeffect [~REPLeffec@69.54.115.254] has joined #scheme 17:36:42 jonrafkind [~jon@crystalis.cs.utah.edu] has joined #scheme 17:47:44 -!- tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has quit [Ping timeout: 240 seconds] 17:51:28 Alice23 [cjm@s3.enemy.org] has joined #scheme 17:51:54 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 17:59:48 -!- rapacity_ is now known as rapacity 18:02:46 -!- leo2007 [~leo@123.123.252.95] has quit [Ping timeout: 260 seconds] 18:05:21 Newby [eriwilli@nat/redhat/x-tmshfiwmcgzdlclb] has joined #scheme 18:05:24 jeapostrophe [~jay@lallab.cs.byu.edu] has joined #scheme 18:05:25 -!- realitygrill [~realitygr@adsl-76-226-139-212.dsl.sfldmi.sbcglobal.net] has quit [Quit: realitygrill] 18:07:02 -!- jeapostrophe [~jay@lallab.cs.byu.edu] has quit [Read error: Connection reset by peer] 18:09:35 -!- kpal [~kpal@janus-nat-128-240-225-120.ncl.ac.uk] has quit [Ping timeout: 260 seconds] 18:20:28 realitygrill [~realitygr@thewall.novi.lib.mi.us] has joined #scheme 18:22:15 sureaint [~mortimer@65-86-91-130.client.dsl.net] has joined #scheme 18:23:49 -!- shurane [~mortimer@65-86-91-130.client.dsl.net] has quit [Ping timeout: 248 seconds] 18:30:25 -!- masm [~masm@bl19-170-245.dsl.telepac.pt] has quit [Max SendQ exceeded] 18:33:05 masm [~masm@bl19-170-245.dsl.telepac.pt] has joined #scheme 18:33:11 -!- zhangkaizhao [~zhangkaiz@27.47.21.159] has quit [Quit: ] 18:36:22 tom_i [~thomasing@ingserv.demon.co.uk] has joined #scheme 18:36:24 -!- rostayob [~rostayob@dyn1217-195.wlan.ic.ac.uk] has quit [Ping timeout: 245 seconds] 18:46:07 -!- realitygrill [~realitygr@thewall.novi.lib.mi.us] has quit [Quit: realitygrill] 18:48:10 Newby1 [eriwilli@nat/redhat/x-yvzhkfsqfysnttoh] has joined #scheme 18:50:01 -!- Newby [eriwilli@nat/redhat/x-tmshfiwmcgzdlclb] has quit [Ping timeout: 260 seconds] 18:51:45 18:52:09 -!- Newby1 [eriwilli@nat/redhat/x-yvzhkfsqfysnttoh] has quit [Remote host closed the connection] 18:52:40 Newby [eriwilli@nat/redhat/x-xnmszzzrnnqjsxif] has joined #scheme 18:52:45 -!- wingo [~wingo@188.84.169.2] has quit [Ping timeout: 260 seconds] 18:53:44 bfig [~b_fin_g@r186-48-220-167.dialup.adsl.anteldata.net.uy] has joined #scheme 18:56:09 -!- Newby [eriwilli@nat/redhat/x-xnmszzzrnnqjsxif] has left #scheme 18:57:00 -!- add^_ [~add^_^@m212-152-13-121.cust.tele2.se] has quit [Quit: add^_] 18:58:50 Newby [eriwilli@nat/redhat/x-xnmszzzrnnqjsxif] has joined #scheme 19:01:26 djcb [~user@a88-114-95-13.elisa-laajakaista.fi] has joined #scheme 19:04:31 -!- Newby [eriwilli@nat/redhat/x-xnmszzzrnnqjsxif] has left #scheme 19:04:54 realitygrill [~realitygr@thewall.novi.lib.mi.us] has joined #scheme 19:08:59 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Ping timeout: 252 seconds] 19:09:59 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 19:15:13 -!- realitygrill [~realitygr@thewall.novi.lib.mi.us] has quit [Ping timeout: 252 seconds] 19:25:11 realitygrill [~realitygr@thewall.novi.lib.mi.us] has joined #scheme 19:27:22 -!- realitygrill [~realitygr@thewall.novi.lib.mi.us] has quit [Client Quit] 19:29:11 T0by [~To8y@adsl-ull-222-101.51-151.net24.it] has joined #scheme 19:30:38 -!- sureaint [~mortimer@65-86-91-130.client.dsl.net] has quit [Ping timeout: 240 seconds] 19:34:29 choas [~lars@p4FDC5F3F.dip.t-dialin.net] has joined #scheme 19:36:51 moah [~gnu@dslb-092-073-069-205.pools.arcor-ip.net] has joined #scheme 19:37:30 phax [~phax@cpc14-haye17-2-0-cust110.haye.cable.virginmedia.com] has joined #scheme 19:37:31 -!- phax [~phax@cpc14-haye17-2-0-cust110.haye.cable.virginmedia.com] has quit [Changing host] 19:37:31 phax [~phax@unaffiliated/phax] has joined #scheme 19:41:44 -!- stamourv` is now known as stamourv 19:46:17 nowhereman [~pierre@AStrasbourg-551-1-14-175.w86-213.abo.wanadoo.fr] has joined #scheme 19:47:28 -!- nowhere_man [~pierre@AStrasbourg-551-1-25-170.w83-196.abo.wanadoo.fr] has quit [Ping timeout: 276 seconds] 19:55:42 shurane [~mortimer@65-86-91-130.client.dsl.net] has joined #scheme 19:58:18 zmv [~zmv@186.204.151.21] has joined #scheme 19:58:24 sanskrit 19:58:26 fuck xchat, sorry 19:59:28 Hey! we dont have to be worried about F# at all! http://fssnip.net/a3 20:01:42 *qu1j0t3* blinks 20:04:02 -!- bweaver [~user@host-68-169-175-226.WISOLT2.epbfi.com] has quit [Ping timeout: 244 seconds] 20:22:34 add^_ [~add^_^@m212-152-13-121.cust.tele2.se] has joined #scheme 20:23:18 -!- bfig [~b_fin_g@r186-48-220-167.dialup.adsl.anteldata.net.uy] has quit [Read error: Connection reset by peer] 20:24:30 bfig [~b_fin_g@r186-48-194-55.dialup.adsl.anteldata.net.uy] has joined #scheme 20:35:36 -!- phax [~phax@unaffiliated/phax] has quit [Quit: Leaving] 20:47:33 -!- tessier [~treed@kernel-panic/copilotco] has quit [Read error: Connection reset by peer] 20:49:54 sureaint [~mortimer@65-86-91-130.client.dsl.net] has joined #scheme 20:51:46 ha! i was just about to give up on a example in HTDP (drracket teachpack) when i found the answer :-)) 20:52:31 -!- shurane [~mortimer@65-86-91-130.client.dsl.net] has quit [Ping timeout: 260 seconds] 20:55:59 -!- Euthydemus [~euthydemu@unaffiliated/euthydemus] has quit [Quit: leaving] 20:56:31 tessier [~treed@mail.copilotco.com] has joined #scheme 21:01:09 -!- dnolen [aa95640a@gateway/web/freenode/ip.170.149.100.10] has quit [Ping timeout: 258 seconds] 21:04:24 dnolen [aa95640a@gateway/web/freenode/ip.170.149.100.10] has joined #scheme 21:05:50 shurane [~mortimer@65-86-91-130.client.dsl.net] has joined #scheme 21:06:29 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has left #scheme 21:07:47 -!- sureaint [~mortimer@65-86-91-130.client.dsl.net] has quit [Ping timeout: 252 seconds] 21:08:48 sureaint [~mortimer@65-86-91-130.client.dsl.net] has joined #scheme 21:11:01 -!- shurane [~mortimer@65-86-91-130.client.dsl.net] has quit [Ping timeout: 252 seconds] 21:12:36 Adamant [~Adamant@50-10-127-225.gar.clearwire-wmx.net] has joined #scheme 21:12:36 -!- Adamant [~Adamant@50-10-127-225.gar.clearwire-wmx.net] has quit [Changing host] 21:12:36 Adamant [~Adamant@unaffiliated/adamant] has joined #scheme 21:14:23 -!- moah [~gnu@dslb-092-073-069-205.pools.arcor-ip.net] has left #scheme 21:23:12 -!- add^_ [~add^_^@m212-152-13-121.cust.tele2.se] has quit [Quit: add^_] 21:24:29 Euthydemus [~euthydemu@unaffiliated/euthydemus] has joined #scheme 21:25:35 -!- Euthydemus [~euthydemu@unaffiliated/euthydemus] has quit [Read error: Connection reset by peer] 21:26:27 Euthydemus [~euthydemu@unaffiliated/euthydemus] has joined #scheme 21:27:33 -!- homie [~levgue@xdsl-87-79-195-196.netcologne.de] has quit [Read error: Connection reset by peer] 21:28:53 homie [~levgue@xdsl-87-79-195-196.netcologne.de] has joined #scheme 21:33:10 -!- Adamant [~Adamant@unaffiliated/adamant] has quit [Quit: Adamant] 21:33:19 markskilbeck [~Mark@unaffiliated/markskilbeck] has joined #scheme 21:45:15 -!- gravicappa [~gravicapp@ppp91-77-169-142.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 21:46:38 kudkudyak [~sun@94.72.163.75] has joined #scheme 22:06:03 NihilistDandy [~NihilistD@c-75-69-129-101.hsd1.nh.comcast.net] has joined #scheme 22:11:35 phax [~phax@027c3377.bb.sky.com] has joined #scheme 22:11:35 -!- phax [~phax@027c3377.bb.sky.com] has quit [Changing host] 22:11:35 phax [~phax@unaffiliated/phax] has joined #scheme 22:17:32 -!- dzhus [~sphinx@95-27-204-231.broadband.corbina.ru] has quit [Remote host closed the connection] 22:27:18 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Quit: Leaving] 22:35:50 -!- platinuum [~platinuum@S0106602ad06b80ad.vc.shawcable.net] has quit [Read error: Operation timed out] 22:43:44 -!- tom_i [~thomasing@ingserv.demon.co.uk] has quit [Read error: Operation timed out] 22:44:50 -!- _schulte_ [~eschulte@c-174-56-1-147.hsd1.nm.comcast.net] has quit [Ping timeout: 255 seconds] 22:45:03 jrslepak [~jrslepak@c-71-233-151-135.hsd1.ma.comcast.net] has joined #scheme 22:50:07 -!- panterax [~panterax@31.176.136.17] has quit [Ping timeout: 276 seconds] 22:50:24 panterax [~panterax@31.176.153.244] has joined #scheme 23:00:52 -!- homie [~levgue@xdsl-87-79-195-196.netcologne.de] has quit [Read error: Connection reset by peer] 23:04:13 -!- dnolen [aa95640a@gateway/web/freenode/ip.170.149.100.10] has quit [Quit: Page closed] 23:05:03 homie [~levgue@xdsl-87-79-195-196.netcologne.de] has joined #scheme 23:08:05 -!- sureaint [~mortimer@65-86-91-130.client.dsl.net] has quit [Ping timeout: 248 seconds] 23:08:54 platinuum [~platinuum@S0106602ad06b80ad.vc.shawcable.net] has joined #scheme 23:09:33 -!- homie [~levgue@xdsl-87-79-195-196.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 23:13:54 -!- acarrico [~acarrico@pppoe-68-142-39-140.gmavt.net] has quit [Ping timeout: 245 seconds] 23:20:04 -!- karswell [~coat@93-97-29-243.zone5.bethere.co.uk] has quit [Read error: Operation timed out] 23:20:51 -!- dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has quit [Ping timeout: 252 seconds] 23:22:14 karswell [~coat@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 23:27:42 tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has joined #scheme 23:30:10 -!- tupi [~david@139.82.89.24] has quit [Quit: Leaving] 23:30:52 -!- dan64 [~dan64@c-71-206-193-42.hsd1.pa.comcast.net] has quit [Read error: Connection reset by peer] 23:32:23 dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has joined #scheme 23:32:43 -!- phax [~phax@unaffiliated/phax] has quit [Quit: Leaving] 23:33:11 phax [~phax@unaffiliated/phax] has joined #scheme 23:35:03 Alice23: If you have HtDP specific questions, you might want to ask in #racket. 23:35:13 (though I guess in this case you're fine :)) 23:35:53 _schulte_ [~eschulte@c-174-56-1-147.hsd1.nm.comcast.net] has joined #scheme 23:38:28 cswords_ [~cswords@c-98-223-234-80.hsd1.in.comcast.net] has joined #scheme 23:40:11 DGASAU` [~user@91.218.144.129] has joined #scheme 23:40:26 mmc2 [~michal@178-85-131-65.dynamic.upc.nl] has joined #scheme 23:40:48 masm1 [~masm@bl19-170-245.dsl.telepac.pt] has joined #scheme 23:41:19 homie [~levgue@xdsl-87-79-195-196.netcologne.de] has joined #scheme 23:42:30 erg_ [~erg@li32-38.members.linode.com] has joined #scheme 23:43:48 antoszka_ [~antoszka@unaffiliated/antoszka] has joined #scheme 23:46:24 rdd` [~rdd@c83-250-153-128.bredband.comhem.se] has joined #scheme 23:47:41 dnolen [~user@cpe-98-14-92-234.nyc.res.rr.com] has joined #scheme 23:48:28 -!- tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has quit [*.net *.split] 23:48:28 -!- panterax [~panterax@31.176.153.244] has quit [*.net *.split] 23:48:28 -!- markskilbeck [~Mark@unaffiliated/markskilbeck] has quit [*.net *.split] 23:48:29 -!- masm [~masm@bl19-170-245.dsl.telepac.pt] has quit [*.net *.split] 23:48:37 -!- mmc1 [~michal@178-85-131-65.dynamic.upc.nl] has quit [*.net *.split] 23:48:37 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [*.net *.split] 23:48:37 -!- jao [~user@pdpc/supporter/professional/jao] has quit [*.net *.split] 23:48:37 -!- DGASAU [~user@91.218.144.129] has quit [*.net *.split] 23:48:37 -!- cswords [~cswords@c-98-223-234-80.hsd1.in.comcast.net] has quit [*.net *.split] 23:48:37 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [*.net *.split] 23:48:37 -!- freakazoid [seanl@2600:3c01::f03c:91ff:fe93:4599] has quit [*.net *.split] 23:48:37 -!- rdd [~rdd@c83-250-153-128.bredband.comhem.se] has quit [*.net *.split] 23:48:37 -!- ve [~a@vortis.xen.tardis.ed.ac.uk] has quit [*.net *.split] 23:48:37 -!- erg [~erg@li32-38.members.linode.com] has quit [*.net *.split] 23:48:37 markskilbeck [~Mark@unaffiliated/markskilbeck] has joined #scheme 23:48:51 -!- markskilbeck is now known as mgsk 23:49:25 jao [~user@pdpc/supporter/professional/jao] has joined #scheme 23:49:25 -!- mgsk [~Mark@unaffiliated/markskilbeck] has quit [Client Quit] 23:49:41 -!- karswell [~coat@93-97-29-243.zone5.bethere.co.uk] has quit [Read error: Operation timed out] 23:51:40 karswell [~coat@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 23:52:33 panterax [~panterax@31.176.153.244] has joined #scheme 23:52:36 freakazoid [seanl@2600:3c01::f03c:91ff:fe93:4599] has joined #scheme 23:52:43 kk` [~kk@77.107.164.131] has joined #scheme 23:54:58 tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has joined #scheme 23:56:44 -!- copumpkin [~copumpkin@unaffiliated/pumpkingod] has quit [Quit: Computer has gone to sleep.]