00:03:10 -!- fridim_ [~fridim@bas2-montreal07-2925317577.dsl.bell.ca] has quit [Quit: Leaving] 00:03:44 -!- kvda [~kvda@unaffiliated/kvda] has quit [Ping timeout: 256 seconds] 00:18:08 kvda [~kvda@unaffiliated/kvda] has joined #scheme 00:22:05 -!- Cromulent [~Cromulent@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/] 00:34:48 -!- tenq|away is now known as tenq 00:36:45 Sgeo [~quassel@ool-44c2df0c.dyn.optonline.net] has joined #scheme 00:38:39 -!- synacktic [~jordyd@unaffiliated/jordyd] has quit [Ping timeout: 260 seconds] 00:40:24 synacktic [~jordyd@unaffiliated/jordyd] has joined #scheme 00:50:12 -!- kvda [~kvda@unaffiliated/kvda] has quit [Ping timeout: 256 seconds] 00:54:28 kvda [~kvda@unaffiliated/kvda] has joined #scheme 01:13:09 -!- synacktic [~jordyd@unaffiliated/jordyd] has quit [Ping timeout: 248 seconds] 01:16:13 synacktic [~jordyd@unaffiliated/jordyd] has joined #scheme 01:20:45 jao [~jao@21.Red-79-153-49.dynamicIP.rima-tde.net] has joined #scheme 01:20:48 -!- jao [~jao@21.Red-79-153-49.dynamicIP.rima-tde.net] has quit [Changing host] 01:20:48 jao [~jao@pdpc/supporter/professional/jao] has joined #scheme 01:29:02 -!- amgarchIn9 [~amgarchin@p4FD56CDC.dip0.t-ipconnect.de] has quit [Ping timeout: 264 seconds] 01:48:37 -!- _5kg_ [~zifeitong@60.191.2.238] has quit [Read error: Connection reset by peer] 01:49:46 _5kg [~zifeitong@60.191.2.238] has joined #scheme 01:52:37 davexunit [~user@fsf/member/davexunit] has joined #scheme 01:58:02 b4283 [~b4283@60-249-196-111.HINET-IP.hinet.net] has joined #scheme 02:00:51 RageOfThou [~RageOfTho@unaffiliated/rageofthou] has joined #scheme 02:01:48 -!- MrFahrenheit [~RageOfTho@unaffiliated/rageofthou] has quit [Ping timeout: 245 seconds] 02:09:37 strobegen [~Adium@188.168.72.225] has joined #scheme 02:14:11 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 02:33:40 weie [~weie@softbank221078042071.bbtec.net] has joined #scheme 02:56:57 oxum [~oxum@122.164.231.58] has joined #scheme 02:59:57 rudybot_ [~luser@ec2-54-215-10-197.us-west-1.compute.amazonaws.com] has joined #scheme 03:03:11 -!- rudybot [~luser@ec2-54-215-10-197.us-west-1.compute.amazonaws.com] has quit [Ping timeout: 265 seconds] 03:04:22 -!- RageOfThou [~RageOfTho@unaffiliated/rageofthou] has quit [Read error: Operation timed out] 03:10:05 -!- davexunit [~user@fsf/member/davexunit] has quit [Quit: Later] 03:29:35 edw [~user@cpe-98-14-44-130.nyc.res.rr.com] has joined #scheme 03:34:05 -!- rudybot_ is now known as rudybot 03:43:13 -!- edw [~user@cpe-98-14-44-130.nyc.res.rr.com] has quit [Ping timeout: 272 seconds] 03:43:37 -!- ijp [~user@host81-147-184-203.range81-147.btcentralplus.com] has quit [Quit: ---------------8<---------------cut here---------------8<---------------] 03:54:24 -!- semigloss [~semigloss@d192-24-132-200.try.wideopenwest.com] has quit [Ping timeout: 246 seconds] 03:59:58 -!- duggiefr_ [~duggiefre@c-66-30-11-90.hsd1.ma.comcast.net] has quit [Remote host closed the connection] 04:00:08 -!- stepnem [~stepnem@internet2.cznet.cz] has quit [Ping timeout: 245 seconds] 04:08:39 -!- tenq is now known as tenq|away 04:10:25 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Ping timeout: 250 seconds] 04:14:31 -!- yosafbridge [~yosafbrid@li125-242.members.linode.com] has quit [Ping timeout: 252 seconds] 04:20:55 -!- tenq|away is now known as tenq 04:21:31 -!- yacks [~py@103.6.159.103] has quit [Quit: Leaving] 04:21:36 yosafbridge [~yosafbrid@li125-242.members.linode.com] has joined #scheme 04:21:52 -!- synacktic [~jordyd@unaffiliated/jordyd] has quit [Ping timeout: 240 seconds] 04:22:36 synacktic [~jordyd@unaffiliated/jordyd] has joined #scheme 04:34:34 -!- gio__ [~gio@107.201.206.230] has quit [Quit: Leaving] 05:00:22 preflex_ [~preflex@unaffiliated/mauke/bot/preflex] has joined #scheme 05:00:24 MichaelRaskin [~MichaelRa@195.178.216.16] has joined #scheme 05:00:27 -!- preflex [~preflex@unaffiliated/mauke/bot/preflex] has quit [Ping timeout: 260 seconds] 05:01:06 -!- preflex_ is now known as preflex 05:09:31 -!- synacktic [~jordyd@unaffiliated/jordyd] has quit [Ping timeout: 246 seconds] 05:11:45 -!- groovy2shoes [~guv@unaffiliated/groovebot] has quit [Quit: groovy2shoes] 05:12:07 -!- vishesh [~vishesh@103.30.143.135] has quit [Ping timeout: 260 seconds] 05:23:19 -!- ASau` is now known as ASau 05:26:59 groovy2shoes [~guv@unaffiliated/groovebot] has joined #scheme 05:29:21 -!- groovy2shoes [~guv@unaffiliated/groovebot] has quit [Client Quit] 05:39:02 -!- oxum [~oxum@122.164.231.58] has quit [Quit: ...] 05:49:40 -!- tenq is now known as tenq|away 05:50:17 effy [~x@114.246.86.2] has joined #scheme 05:51:24 gravicappa [~gravicapp@ppp91-77-188-207.pppoe.mtu-net.ru] has joined #scheme 05:52:55 -!- REPLeffect [~REPLeffec@69.54.115.254] has quit [Ping timeout: 245 seconds] 05:56:14 manamonghippos [~ManAmongH@71-82-6-201.dhcp.leds.al.charter.com] has joined #scheme 05:58:48 -!- oleo [~oleo@xdsl-78-35-171-223.netcologne.de] has quit [Quit: Leaving] 06:04:20 REPLeffect [~REPLeffec@69.54.115.254] has joined #scheme 06:08:17 -!- jcowan [~John@earth.ccil.org] has quit [Quit: Leaving] 06:09:48 -!- kvda [~kvda@unaffiliated/kvda] has quit [Ping timeout: 256 seconds] 06:13:25 -!- _5kg [~zifeitong@60.191.2.238] has quit [Ping timeout: 248 seconds] 06:13:34 vishesh [~vishesh@122.177.175.235] has joined #scheme 06:28:52 oxum [~oxum@122.164.95.207] has joined #scheme 06:40:58 -!- strobegen [~Adium@188.168.72.225] has quit [Quit: Leaving.] 06:45:59 strobegen [~Adium@188.168.72.225] has joined #scheme 06:57:03 -!- jao [~jao@pdpc/supporter/professional/jao] has quit [Ping timeout: 240 seconds] 07:07:00 -!- manamonghippos [~ManAmongH@71-82-6-201.dhcp.leds.al.charter.com] has quit [Quit: manamonghippos] 07:07:32 cdan [~cdan@95.76.67.170] has joined #scheme 07:45:27 -!- Khisanth [~Khisanth@50.14.244.111] has quit [Ping timeout: 240 seconds] 07:45:46 Khisanth [~Khisanth@50.14.244.111] has joined #scheme 07:51:50 Kneferilis [~Kneferili@nb1-210.static.cytanet.com.cy] has joined #scheme 08:04:31 -!- cdan [~cdan@95.76.67.170] has quit [Ping timeout: 272 seconds] 08:22:35 _5kg [~zifeitong@60.191.2.238] has joined #scheme 08:51:17 -!- scoofy [~scoofy@catv-89-135-80-2.catv.broadband.hu] has quit [Ping timeout: 248 seconds] 08:53:55 -!- vishesh [~vishesh@122.177.175.235] has quit [Ping timeout: 252 seconds] 08:56:05 -!- oxum [~oxum@122.164.95.207] has quit [Ping timeout: 272 seconds] 08:56:41 oxum [~oxum@122.164.17.116] has joined #scheme 09:01:20 przl [~przlrkt@62.217.45.197] has joined #scheme 09:02:03 zacts_ [~zacts@unaffiliated/zacts] has joined #scheme 09:02:51 mmc1 [~michal@sams-office-nat.tomtomgroup.com] has joined #scheme 09:03:14 haroldwu_ [~haroldwu@219.85.185.194] has joined #scheme 09:03:54 -!- przl [~przlrkt@62.217.45.197] has quit [Client Quit] 09:04:17 przl [~przlrkt@62.217.45.197] has joined #scheme 09:08:07 vishesh [~vishesh@122.177.107.242] has joined #scheme 09:08:26 ogamita [~t@tru75-h02-31-38-72-69.dsl.sta.abo.bbox.fr] has joined #scheme 09:09:40 amoe_ [~amoe@li195-121.members.linode.com] has joined #scheme 09:10:52 -!- noam [~noam@213.57.201.130] has quit [*.net *.split] 09:10:52 -!- haroldwu [~haroldwu@unaffiliated/haroldwu] has quit [*.net *.split] 09:10:52 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [*.net *.split] 09:10:52 -!- amoe [~amoe@li195-121.members.linode.com] has quit [*.net *.split] 09:10:52 -!- rotty [rotty@yade.xx.vu] has quit [*.net *.split] 09:10:53 -!- ivan\ [~ivan@unaffiliated/ivan/x-000001] has quit [*.net *.split] 09:10:53 -!- BossKonaSegwaY [~Michael@d60-65-147-223.col.wideopenwest.com] has quit [*.net *.split] 09:10:53 -!- zacts [~zacts@unaffiliated/zacts] has quit [*.net *.split] 09:10:53 -!- sbp [~sbp@pubble.infomesh.net] has quit [*.net *.split] 09:10:53 -!- SirDayBat [holttan1@gateway/shell/tkk.fi/x-sllutogdnxpeylds] has quit [*.net *.split] 09:10:53 -!- cmatei [~cmatei@78.96.108.146] has quit [*.net *.split] 09:10:53 -!- sweet_kid [having@irc.upasna.in] has quit [*.net *.split] 09:10:53 -!- mmc [~michal@sams-office-nat.tomtomgroup.com] has quit [*.net *.split] 09:10:53 -!- LeoNerd [leo@2a01:7e00::f03c:91ff:fe96:20e8] has quit [*.net *.split] 09:10:53 -!- aking [~aking@li455-73.members.linode.com] has quit [*.net *.split] 09:10:53 -!- stamourv [~user@racket/stamourv] has quit [*.net *.split] 09:12:07 noam [~noam@213.57.201.130] has joined #scheme 09:12:08 antoszka [~antoszka@unaffiliated/antoszka] has joined #scheme 09:12:08 rotty [rotty@yade.xx.vu] has joined #scheme 09:12:08 ivan\ [~ivan@unaffiliated/ivan/x-000001] has joined #scheme 09:12:08 BossKonaSegwaY [~Michael@d60-65-147-223.col.wideopenwest.com] has joined #scheme 09:12:08 sbp [~sbp@pubble.infomesh.net] has joined #scheme 09:12:08 SirDayBat [holttan1@gateway/shell/tkk.fi/x-sllutogdnxpeylds] has joined #scheme 09:12:08 cmatei [~cmatei@78.96.108.146] has joined #scheme 09:12:08 sweet_kid [having@irc.upasna.in] has joined #scheme 09:12:08 LeoNerd [leo@2a01:7e00::f03c:91ff:fe96:20e8] has joined #scheme 09:12:08 aking [~aking@li455-73.members.linode.com] has joined #scheme 09:12:08 stamourv [~user@racket/stamourv] has joined #scheme 09:16:18 -!- noam [~noam@213.57.201.130] has quit [*.net *.split] 09:16:18 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [*.net *.split] 09:16:18 -!- rotty [rotty@yade.xx.vu] has quit [*.net *.split] 09:16:18 -!- ivan\ [~ivan@unaffiliated/ivan/x-000001] has quit [*.net *.split] 09:16:18 -!- BossKonaSegwaY [~Michael@d60-65-147-223.col.wideopenwest.com] has quit [*.net *.split] 09:16:18 -!- sbp [~sbp@pubble.infomesh.net] has quit [*.net *.split] 09:16:19 -!- SirDayBat [holttan1@gateway/shell/tkk.fi/x-sllutogdnxpeylds] has quit [*.net *.split] 09:16:19 -!- cmatei [~cmatei@78.96.108.146] has quit [*.net *.split] 09:16:19 -!- sweet_kid [having@irc.upasna.in] has quit [*.net *.split] 09:16:19 -!- LeoNerd [leo@2a01:7e00::f03c:91ff:fe96:20e8] has quit [*.net *.split] 09:16:19 -!- aking [~aking@li455-73.members.linode.com] has quit [*.net *.split] 09:16:19 -!- stamourv [~user@racket/stamourv] has quit [*.net *.split] 09:19:36 stepnem [~stepnem@internet2.cznet.cz] has joined #scheme 09:21:43 noam [~noam@213.57.201.130] has joined #scheme 09:21:43 antoszka [~antoszka@unaffiliated/antoszka] has joined #scheme 09:21:43 rotty [rotty@yade.xx.vu] has joined #scheme 09:21:43 ivan\ [~ivan@unaffiliated/ivan/x-000001] has joined #scheme 09:21:43 BossKonaSegwaY [~Michael@d60-65-147-223.col.wideopenwest.com] has joined #scheme 09:21:43 sbp [~sbp@pubble.infomesh.net] has joined #scheme 09:21:43 SirDayBat [holttan1@gateway/shell/tkk.fi/x-sllutogdnxpeylds] has joined #scheme 09:21:43 cmatei [~cmatei@78.96.108.146] has joined #scheme 09:21:43 sweet_kid [having@irc.upasna.in] has joined #scheme 09:21:43 LeoNerd [leo@2a01:7e00::f03c:91ff:fe96:20e8] has joined #scheme 09:21:43 aking [~aking@li455-73.members.linode.com] has joined #scheme 09:21:43 stamourv [~user@racket/stamourv] has joined #scheme 09:24:02 -!- vraid [50d8e34d@gateway/web/freenode/ip.80.216.227.77] has quit [Ping timeout: 272 seconds] 09:30:01 yacks [~py@103.6.159.103] has joined #scheme 09:51:29 -!- przl [~przlrkt@62.217.45.197] has quit [Ping timeout: 252 seconds] 09:53:03 -!- stepnem [~stepnem@internet2.cznet.cz] has quit [Ping timeout: 240 seconds] 09:54:20 stepnem [~stepnem@internet2.cznet.cz] has joined #scheme 09:55:38 przl [~przlrkt@62.217.45.197] has joined #scheme 10:00:10 ffio [~fire@unaffiliated/security] has joined #scheme 10:02:03 -!- ffio [~fire@unaffiliated/security] has quit [Client Quit] 10:02:57 vraid [d91bbc5a@gateway/web/freenode/ip.217.27.188.90] has joined #scheme 10:09:59 -!- yacks [~py@103.6.159.103] has quit [Remote host closed the connection] 10:11:51 -!- stepnem [~stepnem@internet2.cznet.cz] has quit [Ping timeout: 240 seconds] 10:12:15 stepnem [~stepnem@internet2.cznet.cz] has joined #scheme 10:13:22 wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has joined #scheme 10:13:27 pootler [~merv.hamm@84.203.201.73] has joined #scheme 10:13:49 -!- oxum [~oxum@122.164.17.116] has quit [Ping timeout: 265 seconds] 10:13:56 hiroakip [~hiroaki@ip-178-202-201-114.unitymediagroup.de] has joined #scheme 10:21:46 oxum [~oxum@122.174.41.41] has joined #scheme 10:25:57 -!- hiroakip [~hiroaki@ip-178-202-201-114.unitymediagroup.de] has quit [Ping timeout: 252 seconds] 10:46:38 eli [~eli@lambda.ccs.neu.edu] has joined #scheme 10:46:38 -!- eli [~eli@lambda.ccs.neu.edu] has quit [Changing host] 10:46:38 eli [~eli@racket/eli] has joined #scheme 10:53:50 -!- b4283 [~b4283@60-249-196-111.HINET-IP.hinet.net] has quit [Quit: ] 10:54:26 scoofy [~scoofy@catv-89-135-80-2.catv.broadband.hu] has joined #scheme 10:59:15 -!- leppie [~lolcow@105-236-141-57.access.mtnbusiness.co.za] has quit [Ping timeout: 265 seconds] 11:02:48 -!- juanfra [~juanfra@unaffiliated/juanfra] has quit [Read error: Connection reset by peer] 11:03:20 leppie [~lolcow@105-236-244-244.access.mtnbusiness.co.za] has joined #scheme 11:10:58 juanfra [~juanfra@unaffiliated/juanfra] has joined #scheme 11:11:39 yacks [~py@103.6.159.103] has joined #scheme 11:14:27 TLH [~sin@amnezia.2f30.org] has joined #scheme 11:16:58 -!- TLH [~sin@amnezia.2f30.org] has left #scheme 11:26:15 -!- stepnem [~stepnem@internet2.cznet.cz] has quit [Ping timeout: 240 seconds] 11:27:22 pnkfelix [~pnkfelix@64.213.97.194] has joined #scheme 11:28:11 stepnem [~stepnem@internet2.cznet.cz] has joined #scheme 11:28:33 hiroakip [~hiroaki@bi1.roaming.dfn.de] has joined #scheme 11:34:37 -!- haroldwu_ is now known as haroldwu 11:35:23 -!- haroldwu [~haroldwu@219.85.185.194] has quit [Changing host] 11:35:23 haroldwu [~haroldwu@unaffiliated/haroldwu] has joined #scheme 11:37:45 -!- stamourv`` [~user@ahuntsic.ccs.neu.edu] has quit [Read error: Operation timed out] 11:38:21 -!- noam [~noam@213.57.201.130] has quit [Ping timeout: 252 seconds] 11:40:55 -!- eli [~eli@racket/eli] has quit [Ping timeout: 260 seconds] 11:41:07 -!- jrslepak [~jrslepak@kungfu.ccs.neu.edu] has quit [Ping timeout: 272 seconds] 11:42:45 -!- stamourv [~user@racket/stamourv] has quit [Ping timeout: 252 seconds] 11:44:05 stamourv [~user@racket/stamourv] has joined #scheme 11:44:24 stamourv`` [~user@ahuntsic.ccs.neu.edu] has joined #scheme 11:47:48 jrslepak [~jrslepak@kungfu.ccs.neu.edu] has joined #scheme 11:49:42 eli [~eli@lambda.ccs.neu.edu] has joined #scheme 11:49:44 -!- eli [~eli@lambda.ccs.neu.edu] has quit [Changing host] 11:49:44 eli [~eli@racket/eli] has joined #scheme 12:00:31 -!- scoofy [~scoofy@catv-89-135-80-2.catv.broadband.hu] has quit [Ping timeout: 260 seconds] 12:04:57 -!- yacks [~py@103.6.159.103] has quit [Ping timeout: 252 seconds] 12:23:59 dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has joined #scheme 12:25:02 add^_ [~user@m176-70-201-196.cust.tele2.se] has joined #scheme 12:26:30 taylanub [tub@p4FD92306.dip0.t-ipconnect.de] has joined #scheme 12:28:19 yacks [~py@103.6.159.103] has joined #scheme 12:30:54 Cromulent [~Cromulent@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has joined #scheme 12:32:16 -!- oxum [~oxum@122.174.41.41] has quit [Ping timeout: 246 seconds] 12:32:25 -!- Cromulent [~Cromulent@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has quit [Read error: Connection reset by peer] 12:32:47 Cromulent [~Cromulent@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has joined #scheme 12:34:25 amgarchIn9 [~amgarchin@theo1.theochem.tu-muenchen.de] has joined #scheme 12:34:44 oxum [~oxum@122.164.136.178] has joined #scheme 12:37:19 Cromulent|2 [~Cromulent@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has joined #scheme 12:38:00 -!- Cromulent [~Cromulent@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has quit [Ping timeout: 241 seconds] 12:43:00 -!- hiroakip [~hiroaki@bi1.roaming.dfn.de] has quit [Ping timeout: 240 seconds] 13:00:58 noam [~noam@213.57.201.130] has joined #scheme 13:23:07 -!- Cromulent|2 [~Cromulent@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/] 13:35:53 edw [~user@207.239.61.34] has joined #scheme 13:37:21 -!- leppie [~lolcow@105-236-244-244.access.mtnbusiness.co.za] has quit [] 13:40:23 leppie [~lolcow@105-236-244-244.access.mtnbusiness.co.za] has joined #scheme 13:48:42 CADD [uid21876@gateway/web/irccloud.com/x-smalfxoftyajehey] has joined #scheme 13:50:56 -!- Sgeo [~quassel@ool-44c2df0c.dyn.optonline.net] has quit [Read error: Connection reset by peer] 13:51:03 -!- stepnem [~stepnem@internet2.cznet.cz] has quit [Ping timeout: 240 seconds] 13:52:22 edw_ [~edw@ec2-54-226-247-97.compute-1.amazonaws.com] has joined #scheme 13:53:06 stepnem [~stepnem@internet2.cznet.cz] has joined #scheme 13:53:34 edw__ [~edw@207.239.61.34] has joined #scheme 13:57:15 -!- edw [~user@207.239.61.34] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 13:57:41 -!- edw_ is now known as edw 13:58:01 davexunit [~user@fsf/member/davexunit] has joined #scheme 13:58:11 -!- Kneferilis [~Kneferili@nb1-210.static.cytanet.com.cy] has quit [Ping timeout: 272 seconds] 14:02:31 -!- edw__ [~edw@207.239.61.34] has quit [Quit: Textual IRC Client: www.textualapp.com] 14:06:53 zeroish [~zeroish@135.207.143.73] has joined #scheme 14:24:47 -!- oxum [~oxum@122.164.136.178] has quit [Ping timeout: 272 seconds] 14:26:44 oleo [~oleo@xdsl-78-35-160-187.netcologne.de] has joined #scheme 14:27:10 MrFahrenheit [~RageOfTho@unaffiliated/rageofthou] has joined #scheme 14:32:00 Cromulent [~Cromulent@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has joined #scheme 14:35:44 -!- vishesh [~vishesh@122.177.107.242] has quit [Ping timeout: 250 seconds] 14:37:40 -!- pnkfelix [~pnkfelix@64.213.97.194] has quit [Quit: rcirc on GNU Emacs 24.3.1] 14:44:20 -!- edw [~edw@ec2-54-226-247-97.compute-1.amazonaws.com] has quit [Remote host closed the connection] 14:45:03 -!- arrdem [~arrdem@dhcp-53-132.ece.utexas.edu] has quit [Ping timeout: 272 seconds] 14:48:30 duggiefresh [~duggiefre@64.119.141.126] has joined #scheme 14:49:22 aloysius21 [~user@99-123-152-51.lightspeed.tukrga.sbcglobal.net] has joined #scheme 14:50:20 civodul [~user@gateway/tor-sasl/civodul] has joined #scheme 14:58:32 -!- aloysius21 [~user@99-123-152-51.lightspeed.tukrga.sbcglobal.net] has quit [Remote host closed the connection] 15:04:22 edw [~edw@ec2-54-226-247-97.compute-1.amazonaws.com] has joined #scheme 15:07:21 arrdem [~arrdem@dhcp-53-132.ece.utexas.edu] has joined #scheme 15:09:20 langmartin [~langmarti@host-68-169-175-226.WISOLT2.epbfi.com] has joined #scheme 15:17:22 groovy2shoes [~guv@unaffiliated/groovebot] has joined #scheme 15:19:39 defanor [~defanor@ppp91-77-185-244.pppoe.mtu-net.ru] has joined #scheme 15:22:13 -!- defanor_ [~defanor@ppp85-141-205-21.pppoe.mtu-net.ru] has quit [Ping timeout: 245 seconds] 15:24:35 vishesh [~vishesh@103.30.143.135] has joined #scheme 15:51:44 -!- langmartin [~langmarti@host-68-169-175-226.WISOLT2.epbfi.com] has quit [Quit: sleep] 15:52:34 -!- pootler [~merv.hamm@84.203.201.73] has quit [Quit: leaving] 15:53:27 aranhoide [~smuxi@90.Red-83-59-17.dynamicIP.rima-tde.net] has joined #scheme 15:55:24 haroldwu_home [~haroldwu@118-170-139-189.dynamic.hinet.net] has joined #scheme 15:56:04 langmartin [~langmarti@host-68-169-175-226.WISOLT2.epbfi.com] has joined #scheme 16:07:24 ffio [~fire@unaffiliated/security] has joined #scheme 16:17:06 arubin [uid489@gateway/web/irccloud.com/x-hhmnxlsezzdvxezb] has joined #scheme 16:18:43 Is R7RS smaller than either R5RS or R6RS? 16:19:18 arubin: R5RS is ~50 pages, R7RS-small is ~75. 16:19:41 Well, I meant the language, not the size of the document, although I realize that there might be some correlation. 16:19:42 R6RS is "big". R7RS-large will be bigger yet, but consist of a zoo of optional parts. 16:20:12 arubin: I'd say there's a pretty direct correlation, it's in the same layout/style as R5RS (dating back to R3RS). 16:20:30 So R7RS-small basically builds on R5RS? 16:21:10 Yes. It didn't "totally disregard" R6RS either, but it rather built on top of R5RS I'd say (and I think most would agree). 16:21:41 Thank you. 16:24:22 -!- haroldwu_home [~haroldwu@118-170-139-189.dynamic.hinet.net] has quit [Quit: Lost terminal] 16:35:34 it was pretty close to total disregard for r6rs, though 16:37:55 Giomancer [~gio@107.201.206.230] has joined #scheme 16:47:53 the r6rs base document is similar in size to r7rs. 16:51:41 -!- langmartin [~langmarti@host-68-169-175-226.WISOLT2.epbfi.com] has quit [Quit: quit] 17:10:19 Ogion_ [~Ogion@100.Red-83-41-42.dynamicIP.rima-tde.net] has joined #scheme 17:11:24 -!- Ogion is now known as Guest61597 17:12:03 -!- Guest61597 [~Ogion@214.Red-81-32-55.dynamicIP.rima-tde.net] has quit [Ping timeout: 246 seconds] 17:12:55 -!- Ogion_ is now known as Ogion 17:14:03 -!- amgarchIn9 [~amgarchin@theo1.theochem.tu-muenchen.de] has quit [Ping timeout: 252 seconds] 17:15:52 -!- vraid [d91bbc5a@gateway/web/freenode/ip.217.27.188.90] has quit [Ping timeout: 272 seconds] 17:18:27 -!- przl [~przlrkt@62.217.45.197] has quit [Ping timeout: 252 seconds] 17:22:34 Ogion_ [~Ogion@117.Red-81-39-21.dynamicIP.rima-tde.net] has joined #scheme 17:22:43 -!- ASau [~user@p54AFFCB3.dip0.t-ipconnect.de] has quit [Quit: reboot] 17:23:28 -!- groovy2shoes [~guv@unaffiliated/groovebot] has quit [Ping timeout: 240 seconds] 17:23:49 pootler [~merv.hamm@84.203.201.73] has joined #scheme 17:24:23 -!- Ogion [~Ogion@100.Red-83-41-42.dynamicIP.rima-tde.net] has quit [Ping timeout: 260 seconds] 17:24:25 -!- davexunit [~user@fsf/member/davexunit] has quit [Remote host closed the connection] 17:24:42 davexunit [~user@38.104.7.18] has joined #scheme 17:24:45 -!- davexunit [~user@38.104.7.18] has quit [Changing host] 17:24:45 davexunit [~user@fsf/member/davexunit] has joined #scheme 17:25:04 Ogion__ [~Ogion@140.Red-83-57-112.dynamicIP.rima-tde.net] has joined #scheme 17:27:22 -!- Ogion__ is now known as Ogion 17:27:45 -!- Ogion_ [~Ogion@117.Red-81-39-21.dynamicIP.rima-tde.net] has quit [Ping timeout: 250 seconds] 17:31:23 -!- ogamita [~t@tru75-h02-31-38-72-69.dsl.sta.abo.bbox.fr] has quit [Ping timeout: 260 seconds] 17:33:49 hiroakip [~hiroaki@ip-178-202-201-114.unitymediagroup.de] has joined #scheme 17:34:55 -!- ffio [~fire@unaffiliated/security] has quit [Read error: Connection reset by peer] 17:36:42 pnkfelix [~pnkfelix@bas75-2-88-170-201-21.fbx.proxad.net] has joined #scheme 17:40:07 ASau [~user@p54AFFCB3.dip0.t-ipconnect.de] has joined #scheme 17:43:49 -!- pootler [~merv.hamm@84.203.201.73] has quit [Quit: leaving] 17:51:32 vraid [50d8e34d@gateway/web/freenode/ip.80.216.227.77] has joined #scheme 17:56:44 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [*.net *.split] 17:56:45 -!- rotty [rotty@yade.xx.vu] has quit [*.net *.split] 17:56:45 -!- ivan\ [~ivan@unaffiliated/ivan/x-000001] has quit [*.net *.split] 17:56:48 -!- BossKonaSegwaY [~Michael@d60-65-147-223.col.wideopenwest.com] has quit [*.net *.split] 17:56:49 -!- sbp [~sbp@pubble.infomesh.net] has quit [*.net *.split] 17:56:49 -!- SirDayBat [holttan1@gateway/shell/tkk.fi/x-sllutogdnxpeylds] has quit [*.net *.split] 17:56:49 -!- cmatei [~cmatei@78.96.108.146] has quit [*.net *.split] 17:56:49 -!- sweet_kid [having@irc.upasna.in] has quit [*.net *.split] 17:56:49 -!- LeoNerd [leo@2a01:7e00::f03c:91ff:fe96:20e8] has quit [*.net *.split] 17:56:49 -!- aking [~aking@li455-73.members.linode.com] has quit [*.net *.split] 18:06:32 -!- add^_ [~user@m176-70-201-196.cust.tele2.se] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 18:12:59 antoszka [~antoszka@unaffiliated/antoszka] has joined #scheme 18:13:00 rotty [rotty@yade.xx.vu] has joined #scheme 18:13:00 ivan\ [~ivan@unaffiliated/ivan/x-000001] has joined #scheme 18:13:00 BossKonaSegwaY [~Michael@d60-65-147-223.col.wideopenwest.com] has joined #scheme 18:13:00 SirDayBat [holttan1@gateway/shell/tkk.fi/x-sllutogdnxpeylds] has joined #scheme 18:13:00 cmatei [~cmatei@78.96.108.146] has joined #scheme 18:13:00 sweet_kid [having@irc.upasna.in] has joined #scheme 18:13:00 LeoNerd [leo@2a01:7e00::f03c:91ff:fe96:20e8] has joined #scheme 18:13:00 aking [~aking@li455-73.members.linode.com] has joined #scheme 18:14:23 przl [~przlrkt@p4FE64693.dip0.t-ipconnect.de] has joined #scheme 18:22:53 -!- MichaelRaskin [~MichaelRa@195.178.216.16] has quit [Quit: MichaelRaskin] 18:23:32 yrdz [~p_adams@unaffiliated/p-adams/x-7117614] has joined #scheme 18:35:57 -!- joneshf-laptop_ [~joneshf@c-98-208-36-36.hsd1.ca.comcast.net] has quit [Ping timeout: 272 seconds] 18:36:37 amgarchIn9 [~amgarchin@p4FD62B5F.dip0.t-ipconnect.de] has joined #scheme 18:40:05 -!- przl [~przlrkt@p4FE64693.dip0.t-ipconnect.de] has quit [Ping timeout: 248 seconds] 18:41:17 -!- Cromulent [~Cromulent@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/] 18:41:35 alexshendi [~loongson@ip-109-42-1-145.web.vodafone.de] has joined #scheme 18:51:44 kilimanjaro [~kilimanja@uawifi-nat-210-77.arizona.edu] has joined #scheme 18:52:45 rotty_ [rotty@yade.xx.vu] has joined #scheme 18:52:45 -!- rotty [rotty@yade.xx.vu] has quit [Ping timeout: 252 seconds] 19:00:23 -!- ASau [~user@p54AFFCB3.dip0.t-ipconnect.de] has quit [Quit: off] 19:12:03 ebby [~ebby@c80-216-34-53.bredband.comhem.se] has joined #scheme 19:28:53 add^_ [~user@m176-70-201-196.cust.tele2.se] has joined #scheme 19:29:30 mdmkolbe [~adamsmd@mobile-130-126-255-159.near.illinois.edu] has joined #scheme 19:30:19 I saw a paper a while ago that gave a type system for Scheme Macros that encoded the binding structure of the macro in the types. Does anyone know what paper that would be? 19:32:15 -!- ebby [~ebby@c80-216-34-53.bredband.comhem.se] has quit [Ping timeout: 240 seconds] 19:32:37 mdmkolbe: you might be thinking of http://www.ccs.neu.edu/home/dherman/research/papers/esop08-hygiene.pdf 19:32:41 -!- weie [~weie@softbank221078042071.bbtec.net] has quit [Quit: Leaving...] 19:33:32 That might be the one, but I thought there were more recent work by the PLT people in this area. 19:35:01 -!- tenq|away is now known as tenq 19:37:55 I don't know of a paper from PLT about binding specifications. 19:40:37 There is the work on `syntax-parse` (http://www.ccs.neu.edu/racket/pubs/icfp10-cf.pdf) which has a specification language, but it's not really about binding specifications. 19:46:07 jao [~jao@219.173.14.37.dynamic.jazztel.es] has joined #scheme 19:46:11 -!- jao [~jao@219.173.14.37.dynamic.jazztel.es] has quit [Changing host] 19:46:11 jao [~jao@pdpc/supporter/professional/jao] has joined #scheme 19:49:12 -!- kilimanjaro [~kilimanja@uawifi-nat-210-77.arizona.edu] has quit [Ping timeout: 246 seconds] 19:49:22 MichaelRaskin [~MichaelRa@195.91.224.161] has joined #scheme 19:53:47 -!- add^_ [~user@m176-70-201-196.cust.tele2.se] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 20:04:49 Cromulent [~Cromulent@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has joined #scheme 20:09:05 -!- alexshendi [~loongson@ip-109-42-1-145.web.vodafone.de] has quit [Read error: Connection reset by peer] 20:18:05 kilimanjaro [~kilimanja@uawifi-nat-210-77.arizona.edu] has joined #scheme 20:22:59 synacktic [~jordyd@unaffiliated/jordyd] has joined #scheme 20:26:10 -!- zeroish [~zeroish@135.207.143.73] has quit [Remote host closed the connection] 20:26:54 alexshendi [~loongson@ip-109-42-1-145.web.vodafone.de] has joined #scheme 20:27:55 hderms_ [pushp0p@0xffffff.be] has joined #scheme 20:30:58 -!- pnkfelix [~pnkfelix@bas75-2-88-170-201-21.fbx.proxad.net] has quit [Remote host closed the connection] 20:34:31 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Ping timeout: 250 seconds] 20:35:33 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 20:54:47 marsam [~marsam@146.185.180.111] has joined #scheme 20:59:13 -!- Cromulent [~Cromulent@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/] 21:07:49 przl [~przlrkt@p5DD14544.dip0.t-ipconnect.de] has joined #scheme 21:08:21 -!- wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has quit [Ping timeout: 248 seconds] 21:22:43 -!- kilimanjaro [~kilimanja@uawifi-nat-210-77.arizona.edu] has quit [Read error: Operation timed out] 21:25:51 -!- yrdz [~p_adams@unaffiliated/p-adams/x-7117614] has quit [Ping timeout: 240 seconds] 21:35:48 kidd [~user@95.Red-83-33-70.dynamicIP.rima-tde.net] has joined #scheme 21:36:12 -!- kidd is now known as Guest37976 21:37:44 -!- Guest37976 is now known as rgc 21:38:24 -!- ntesir [~rnd@31.220.43.117] has quit [Ping timeout: 246 seconds] 21:38:51 yrdz [~p_adams@unaffiliated/p-adams/x-7117614] has joined #scheme 21:39:27 -!- zacts_ [~zacts@unaffiliated/zacts] has quit [Quit: leaving] 21:39:54 zacts [~zacts@c-174-50-75-226.hsd1.nm.comcast.net] has joined #scheme 21:40:24 -!- zacts is now known as Guest32833 21:40:55 -!- Guest32833 [~zacts@c-174-50-75-226.hsd1.nm.comcast.net] has quit [Client Quit] 21:41:41 -!- alexshendi [~loongson@ip-109-42-1-145.web.vodafone.de] has quit [Ping timeout: 250 seconds] 21:42:22 zacts_ [~zacts@unaffiliated/zacts] has joined #scheme 21:43:27 -!- zacts_ is now known as zacts 21:43:48 -!- zacts [~zacts@unaffiliated/zacts] has quit [Client Quit] 21:44:09 zacts [~zacts@unaffiliated/zacts] has joined #scheme 21:45:43 ntesir [~rnd@31.220.43.117] has joined #scheme 21:52:55 -!- synacktic [~jordyd@unaffiliated/jordyd] has quit [Ping timeout: 272 seconds] 21:54:43 synacktic [~jordyd@unaffiliated/jordyd] has joined #scheme 21:55:01 liqu0rice [~yaaic@brln-4dbac2a6.pool.mediaWays.net] has joined #scheme 21:56:07 alexshendi [~loongson@ip-109-42-2-159.web.vodafone.de] has joined #scheme 21:59:20 -!- tenq is now known as tenq|away 22:00:42 Cromulent [~Cromulent@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has joined #scheme 22:00:46 -!- liqu0rice [~yaaic@brln-4dbac2a6.pool.mediaWays.net] has quit [Quit: Yaaic - Yet another Android IRC client - http://www.yaaic.org] 22:05:12 -!- przl [~przlrkt@p5DD14544.dip0.t-ipconnect.de] has quit [Ping timeout: 252 seconds] 22:07:59 -!- davexunit [~user@fsf/member/davexunit] has quit [Quit: Later] 22:19:38 kilimanjaro [~kilimanja@uawifi-nat-210-77.arizona.edu] has joined #scheme 22:23:45 -!- hiroakip [~hiroaki@ip-178-202-201-114.unitymediagroup.de] has quit [Ping timeout: 245 seconds] 22:25:17 scoofy [scoofy@catv-89-135-80-2.catv.broadband.hu] has joined #scheme 22:28:12 -!- tenq|away is now known as tenq 22:32:46 -!- tenq is now known as tenq|away 22:32:58 -!- Ogion [~Ogion@140.Red-83-57-112.dynamicIP.rima-tde.net] has quit [Ping timeout: 240 seconds] 22:33:32 hiroakip [~hiroaki@ip-178-202-201-114.unitymediagroup.de] has joined #scheme 22:36:21 -!- jewel [~jewel@105-236-25-199.access.mtnbusiness.co.za] has quit [Ping timeout: 252 seconds] 22:39:58 -!- strobegen [~Adium@188.168.72.225] has quit [Quit: Leaving.] 22:40:25 -!- alexshendi [~loongson@ip-109-42-2-159.web.vodafone.de] has quit [Quit: Leaving] 22:42:09 -!- `^_^v [~nycs@rrcs-24-39-141-128.nyc.biz.rr.com] has quit [Quit: This computer has gone to sleep] 22:42:30 -!- jao [~jao@pdpc/supporter/professional/jao] has quit [Ping timeout: 265 seconds] 22:43:01 `^_^v [~nycs@rrcs-24-39-141-128.nyc.biz.rr.com] has joined #scheme 22:44:50 -!- duggiefresh [~duggiefre@64.119.141.126] has quit [Remote host closed the connection] 22:44:58 jewel [~jewel@105-236-25-199.access.mtnbusiness.co.za] has joined #scheme 22:45:47 duggiefresh [~duggiefre@64.119.141.126] has joined #scheme 22:47:01 Ogion [~Ogion@66.Red-83-49-186.dynamicIP.rima-tde.net] has joined #scheme 22:50:17 -!- duggiefresh [~duggiefre@64.119.141.126] has quit [Ping timeout: 252 seconds] 22:51:56 -!- synacktic [~jordyd@unaffiliated/jordyd] has quit [Read error: Operation timed out] 22:53:22 -!- taylanub [tub@p4FD92306.dip0.t-ipconnect.de] has quit [Disconnected by services] 22:53:48 taylanub [tub@p4FD91B1E.dip0.t-ipconnect.de] has joined #scheme 22:53:52 synacktic [~jordyd@unaffiliated/jordyd] has joined #scheme 23:01:02 przl [~przlrkt@p5DD14544.dip0.t-ipconnect.de] has joined #scheme 23:02:26 -!- przl [~przlrkt@p5DD14544.dip0.t-ipconnect.de] has quit [Remote host closed the connection] 23:03:07 Ogion_ [~Ogion@187.Red-83-57-112.dynamicIP.rima-tde.net] has joined #scheme 23:03:14 -!- hiroakip [~hiroaki@ip-178-202-201-114.unitymediagroup.de] has quit [Ping timeout: 264 seconds] 23:04:12 -!- cmatei [~cmatei@78.96.108.146] has quit [Ping timeout: 252 seconds] 23:04:44 -!- Ogion [~Ogion@66.Red-83-49-186.dynamicIP.rima-tde.net] has quit [Ping timeout: 265 seconds] 23:08:33 -!- civodul [~user@gateway/tor-sasl/civodul] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 23:14:24 -!- gravicappa [~gravicapp@ppp91-77-188-207.pppoe.mtu-net.ru] has quit [Ping timeout: 265 seconds] 23:14:51 -!- kilimanjaro [~kilimanja@uawifi-nat-210-77.arizona.edu] has quit [Ping timeout: 250 seconds] 23:17:25 -!- ntesir [~rnd@31.220.43.117] has quit [Ping timeout: 248 seconds] 23:20:05 -!- synacktic [~jordyd@unaffiliated/jordyd] has quit [Ping timeout: 248 seconds] 23:24:09 ntesir [~rnd@31.220.43.117] has joined #scheme 23:29:43 -!- stepnem [~stepnem@internet2.cznet.cz] has quit [Ping timeout: 260 seconds] 23:33:00 davexunit [~user@fsf/member/davexunit] has joined #scheme 23:39:28 synacktic [~jordyd@unaffiliated/jordyd] has joined #scheme 23:46:20 Ogion__ [~Ogion@189.Red-83-57-112.dynamicIP.rima-tde.net] has joined #scheme 23:46:45 -!- scoofy [scoofy@catv-89-135-80-2.catv.broadband.hu] has quit [Ping timeout: 252 seconds] 23:48:13 -!- Ogion_ [~Ogion@187.Red-83-57-112.dynamicIP.rima-tde.net] has quit [Ping timeout: 250 seconds] 23:57:44 Sgeo [~quassel@ool-44c2df0c.dyn.optonline.net] has joined #scheme