00:02:08 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Disconnected by services] 00:02:08 attila_lendvai1 [~attila_le@188-143-60-177.pool.digikabel.hu] has joined #scheme 00:04:57 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Quit: leaving] 00:07:59 attila_lendvai [~attila_le@188-143-60-177.pool.digikabel.hu] has joined #scheme 00:07:59 -!- attila_lendvai [~attila_le@188-143-60-177.pool.digikabel.hu] has quit [Changing host] 00:08:00 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #scheme 00:08:07 -!- attila_lendvai1 [~attila_le@188-143-60-177.pool.digikabel.hu] has quit [Quit: Leaving.] 00:09:34 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Client Quit] 00:11:26 -!- kvda [~kvda@124-168-182-229.dyn.iinet.net.au] has quit [Quit: -___-] 00:11:26 -!- kvda_ is now known as kvda 00:15:07 -!- bfig [~b_fin_g@r190-135-16-3.dialup.adsl.anteldata.net.uy] has quit [Read error: Connection reset by peer] 00:28:22 soveran [~soveran@186.19.214.247] has joined #scheme 00:32:26 bfig [~b_fin_g@r190-135-16-3.dialup.adsl.anteldata.net.uy] has joined #scheme 00:36:36 tuubow_ [~adityavit@c-68-37-139-248.hsd1.nj.comcast.net] has joined #scheme 00:37:34 lemonade` [~lemonade_@pool-71-178-182-87.washdc.fios.verizon.net] has joined #scheme 00:45:12 -!- jrslepak [~jrslepak@c-71-233-148-123.hsd1.ma.comcast.net] has quit [Quit: This computer has gone to sleep] 00:46:58 -!- masm [~masm@bl17-193-216.dsl.telepac.pt] has quit [Quit: Leaving.] 00:52:42 -!- kvda [~kvda@202.58.240.18] has quit [Quit: x__x] 00:52:51 kvda [~kvda@202.58.240.18] has joined #scheme 00:59:37 -!- jao [~user@pdpc/supporter/professional/jao] has quit [Ping timeout: 245 seconds] 01:00:05 FRSHPRNCFBLR [~noone@CPE00222d560998-CM00222d560995.cpe.net.cable.rogers.com] has joined #scheme 01:12:22 -!- bfig [~b_fin_g@r190-135-16-3.dialup.adsl.anteldata.net.uy] has quit [Read error: Connection reset by peer] 01:13:26 bfig [~b_fin_g@r190-135-16-3.dialup.adsl.anteldata.net.uy] has joined #scheme 01:14:42 -!- toekutr [~user@50-0-51-2.dsl.static.sonic.net] has quit [Read error: Connection reset by peer] 01:16:01 -!- peterhil` [~peterhil@xdsl-77-86-196-131.nebulazone.fi] has quit [Ping timeout: 248 seconds] 01:28:51 homie` [~levgue@xdsl-84-44-155-180.netcologne.de] has joined #scheme 01:30:38 -!- homie [~levgue@xdsl-78-35-150-17.netcologne.de] has quit [Ping timeout: 240 seconds] 01:38:36 peterhil` [~peterhil@xdsl-77-86-196-131.nebulazone.fi] has joined #scheme 01:39:24 -!- mmc1 [~michal@178-85-63-71.dynamic.upc.nl] has quit [Ping timeout: 272 seconds] 01:44:26 -!- FRSHPRNCFBLR [~noone@CPE00222d560998-CM00222d560995.cpe.net.cable.rogers.com] has quit [Quit: Leaving] 01:46:07 attila_lendvai [~attila_le@188-143-60-177.pool.digikabel.hu] has joined #scheme 01:46:07 -!- attila_lendvai [~attila_le@188-143-60-177.pool.digikabel.hu] has quit [Changing host] 01:46:08 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #scheme 01:52:58 -!- homie` [~levgue@xdsl-84-44-155-180.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 01:54:02 -!- soveran [~soveran@186.19.214.247] has quit [Remote host closed the connection] 01:55:09 homie [~levgue@xdsl-84-44-155-180.netcologne.de] has joined #scheme 02:00:26 soveran [~soveran@186.19.214.247] has joined #scheme 02:01:38 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Disconnected by services] 02:01:43 attila_lendvai1 [~attila_le@188-143-60-177.pool.digikabel.hu] has joined #scheme 02:01:43 -!- attila_lendvai1 is now known as attila_lendvai 02:01:43 -!- attila_lendvai [~attila_le@188-143-60-177.pool.digikabel.hu] has quit [Changing host] 02:01:43 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #scheme 02:02:09 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Read error: Connection reset by peer] 02:04:19 -!- MrFahrenheit [~RageOfTho@users-55-233.vinet.ba] has quit [Ping timeout: 245 seconds] 02:04:52 -!- lemonade` [~lemonade_@pool-71-178-182-87.washdc.fios.verizon.net] has left #scheme 02:09:00 jlongster [~user@pool-108-4-74-122.rcmdva.fios.verizon.net] has joined #scheme 02:16:31 -!- bfig [~b_fin_g@r190-135-16-3.dialup.adsl.anteldata.net.uy] has quit [Ping timeout: 255 seconds] 02:21:23 -!- soveran [~soveran@186.19.214.247] has quit [Remote host closed the connection] 02:25:58 soveran [~soveran@186.19.214.247] has joined #scheme 02:29:57 bfig [~b_fin_g@r186-52-140-155.dialup.adsl.anteldata.net.uy] has joined #scheme 02:36:41 jrslepak [~jrslepak@c-71-233-148-123.hsd1.ma.comcast.net] has joined #scheme 02:49:19 mjonsson [~mjonsson@38.109.95.221] has joined #scheme 02:58:00 -!- soveran [~soveran@186.19.214.247] has quit [Remote host closed the connection] 03:02:33 -!- bfig [~b_fin_g@r186-52-140-155.dialup.adsl.anteldata.net.uy] has quit [Read error: Connection reset by peer] 03:03:34 bfig [~b_fin_g@r186-52-140-155.dialup.adsl.anteldata.net.uy] has joined #scheme 03:06:45 -!- bzzbzz [~franco@modemcable151.155-57-74.mc.videotron.ca] has quit [Ping timeout: 256 seconds] 03:06:54 jake__ [~jake@74.213.226.253] has joined #scheme 03:10:10 annodomini [~lambda@wikipedia/lambda] has joined #scheme 03:13:05 -!- bfig [~b_fin_g@r186-52-140-155.dialup.adsl.anteldata.net.uy] has quit [Read error: Connection reset by peer] 03:14:10 bfig [~b_fin_g@r186-52-140-155.dialup.adsl.anteldata.net.uy] has joined #scheme 03:15:04 woonie [~woonie@175.156.202.21] has joined #scheme 03:16:23 -!- Radium [~rajesh.na@117.203.14.165] has quit [Ping timeout: 255 seconds] 03:17:04 -!- bfig [~b_fin_g@r186-52-140-155.dialup.adsl.anteldata.net.uy] has quit [Read error: Connection reset by peer] 03:17:40 Radium [~rajesh.na@117.203.12.19] has joined #scheme 03:28:00 soveran [~soveran@186.19.214.247] has joined #scheme 03:34:02 bfig [~b_fin_g@r186-52-140-155.dialup.adsl.anteldata.net.uy] has joined #scheme 03:37:07 -!- tupi [~david@177.30.234.173] has quit [Quit: Leaving] 03:38:23 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has left #scheme 03:42:23 -!- mjonsson [~mjonsson@38.109.95.221] has quit [Quit: Leaving] 03:43:06 -!- bfig [~b_fin_g@r186-52-140-155.dialup.adsl.anteldata.net.uy] has quit [Read error: Connection reset by peer] 03:43:45 bfig [~b_fin_g@r186-52-140-155.dialup.adsl.anteldata.net.uy] has joined #scheme 03:44:18 -!- bfig [~b_fin_g@r186-52-140-155.dialup.adsl.anteldata.net.uy] has quit [Read error: Connection reset by peer] 03:51:41 chu [~mathew.ba@CPE-124-176-25-97.lns2.dea.bigpond.net.au] has joined #scheme 03:52:18 -!- kreol[Ukr] [~kreol@85.198.173.181] has quit [Quit:    ] 04:00:00 -!- kniu [~kniu@pool-74-98-47-167.pitbpa.east.verizon.net] has quit [Ping timeout: 272 seconds] 04:01:26 bfig [~b_fin_g@r186-52-140-155.dialup.adsl.anteldata.net.uy] has joined #scheme 04:03:53 kniu [~kniu@pool-173-75-149-251.pitbpa.east.verizon.net] has joined #scheme 04:09:24 bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has joined #scheme 04:12:34 -!- annodomini [~lambda@wikipedia/lambda] has quit [Quit: annodomini] 04:12:41 MichaelRaskin [~MichaelRa@195.178.216.22] has joined #scheme 04:22:57 adu [~ajr@pool-173-66-253-53.washdc.fios.verizon.net] has joined #scheme 04:28:29 -!- woonie [~woonie@175.156.202.21] has quit [Ping timeout: 272 seconds] 04:36:06 Euthydemus [~euthydemu@unaffiliated/euthydemus] has joined #scheme 04:38:52 -!- soveran [~soveran@186.19.214.247] has quit [Remote host closed the connection] 04:39:06 -!- chu [~mathew.ba@CPE-124-176-25-97.lns2.dea.bigpond.net.au] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 04:57:15 -!- random_malice [~ian@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has quit [Ping timeout: 256 seconds] 04:57:46 choas [~lars@p5795C26C.dip.t-dialin.net] has joined #scheme 04:57:57 toekutr [~user@50-0-51-2.dsl.static.sonic.net] has joined #scheme 05:01:51 -!- bfig [~b_fin_g@r186-52-140-155.dialup.adsl.anteldata.net.uy] has quit [Read error: Connection reset by peer] 05:03:23 bfig [~b_fin_g@r186-52-140-155.dialup.adsl.anteldata.net.uy] has joined #scheme 05:06:30 -!- ssbr [~ssbr@python/site-packages/ssbr] has quit [Quit: xchat is a piece of crap and slows down like crazy sometimes and now I have to reboot and I have so much hate inside me] 05:07:00 ssbr [~ssbr@python/site-packages/ssbr] has joined #scheme 05:11:37 -!- choas [~lars@p5795C26C.dip.t-dialin.net] has quit [Read error: Operation timed out] 05:15:30 -!- kudkudyak [~user@94.72.135.243] has quit [Remote host closed the connection] 05:19:44 preflex_ [~preflex@unaffiliated/mauke/bot/preflex] has joined #scheme 05:19:50 -!- preflex [~preflex@unaffiliated/mauke/bot/preflex] has quit [Ping timeout: 260 seconds] 05:20:30 -!- preflex_ is now known as preflex 05:36:56 chu [~mathew.ba@CPE-124-176-25-97.lns2.dea.bigpond.net.au] has joined #scheme 05:43:20 -!- Zuchto [~zuchto@li305-238.members.linode.com] has quit [Ping timeout: 246 seconds] 05:44:18 Zuchto [~zuchto@li305-238.members.linode.com] has joined #scheme 05:45:04 hkBst [~marijn@79.170.210.172] has joined #scheme 05:45:04 -!- hkBst [~marijn@79.170.210.172] has quit [Changing host] 05:45:04 hkBst [~marijn@gentoo/developer/hkbst] has joined #scheme 05:48:05 kk` [~kk@unaffiliated/kk/x-5380134] has joined #scheme 05:53:20 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Quit: WeeChat 0.3.7] 05:54:29 -!- Khisanth [~Khisanth@50.14.244.111] has quit [Ping timeout: 256 seconds] 05:56:38 ThePawnBreak [Cristi@94.177.108.25] has joined #scheme 05:58:28 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 06:04:20 mucker [~mucker@183.83.21.171] has joined #scheme 06:04:30 Khisanth [~Khisanth@50.14.244.111] has joined #scheme 06:07:40 kk` [~kk@unaffiliated/kk/x-5380134] has joined #scheme 06:13:15 simathur [~simathur@192.100.106.9] has joined #scheme 06:20:00 -!- realitygrill [~realitygr@adsl-76-226-114-242.dsl.sfldmi.sbcglobal.net] has quit [Ping timeout: 256 seconds] 06:21:19 realitygrill [~realitygr@adsl-69-212-230-39.dsl.sfldmi.sbcglobal.net] has joined #scheme 06:33:14 -!- realitygrill [~realitygr@adsl-69-212-230-39.dsl.sfldmi.sbcglobal.net] has quit [Read error: No route to host] 06:38:15 -!- huangjs [~huangjs@190.8.100.83] has quit [Read error: Connection reset by peer] 06:38:38 -!- Radium [~rajesh.na@117.203.12.19] has quit [Ping timeout: 240 seconds] 06:39:00 realitygrill [~realitygr@adsl-76-226-120-48.dsl.sfldmi.sbcglobal.net] has joined #scheme 06:44:51 -!- adu [~ajr@pool-173-66-253-53.washdc.fios.verizon.net] has quit [Quit: adu] 06:47:17 ijp [~user@host86-169-103-23.range86-169.btcentralplus.com] has joined #scheme 06:53:01 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Quit: WeeChat 0.3.7] 06:56:04 -!- jlongster [~user@pool-108-4-74-122.rcmdva.fios.verizon.net] has quit [Ping timeout: 272 seconds] 07:01:55 -!- toekutr [~user@50-0-51-2.dsl.static.sonic.net] has quit [Remote host closed the connection] 07:04:02 sestisr [~chatzilla@138.227.189.8] has joined #scheme 07:04:26 dzhus [~dzhus@95-24-110-75.broadband.corbina.ru] has joined #scheme 07:06:09 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 244 seconds] 07:24:01 mutley89 [~mutley89@cpc1-hudd6-0-0-cust741.4-1.cable.virginmedia.com] has joined #scheme 07:31:51 -!- jake__ [~jake@74.213.226.253] has quit [Quit: Konversation terminated!] 07:46:13 -!- realitygrill [~realitygr@adsl-76-226-120-48.dsl.sfldmi.sbcglobal.net] has quit [Quit: Computer has gone to sleep] 07:53:23 wingo [~wingo@176.pool85-50-188.dynamic.orange.es] has joined #scheme 08:00:52 -!- ThePawnBreak [Cristi@94.177.108.25] has quit [Ping timeout: 256 seconds] 08:06:07 ThePawnBreak [Cristi@94.177.108.25] has joined #scheme 08:06:14 masm [~masm@bl18-51-111.dsl.telepac.pt] has joined #scheme 08:06:47 -!- mucker [~mucker@183.83.21.171] has quit [Read error: Operation timed out] 08:09:53 mucker [~mucker@183.83.51.123] has joined #scheme 08:14:11 gravicappa [~gravicapp@ppp91-77-180-35.pppoe.mtu-net.ru] has joined #scheme 08:24:14 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Quit: Leaving] 08:29:24 graspee [~graspee@02dd1c10.bb.sky.com] has joined #scheme 08:30:12 Radium [~rajesh.na@117.220.48.26] has joined #scheme 08:30:38 ventonegro [~alex@cust.static.46-14-234-161.swisscomdata.ch] has joined #scheme 08:38:57 antithesis [~antithesi@s51476e07.adsl.wanadoo.nl] has joined #scheme 08:50:22 -!- MichaelRaskin [~MichaelRa@195.178.216.22] has left #scheme 09:05:59 -!- tuubow_ [~adityavit@c-68-37-139-248.hsd1.nj.comcast.net] has quit [Ping timeout: 246 seconds] 09:09:41 -!- gravicappa [~gravicapp@ppp91-77-180-35.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 09:20:21 add^_ [~add^_^@m90-131-121-26.cust.tele2.se] has joined #scheme 09:25:09 huangjs [~huangjs@190.8.100.83] has joined #scheme 09:27:34 -!- kvda [~kvda@202.58.240.18] has quit [Quit: Computer has gone to sleep.] 09:30:44 -!- chu [~mathew.ba@CPE-124-176-25-97.lns2.dea.bigpond.net.au] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 09:35:40 -!- hkBst [~marijn@gentoo/developer/hkbst] has quit [Ping timeout: 272 seconds] 09:35:51 hkBst_ [~marijn@gentoo/developer/hkbst] has joined #scheme 09:47:11 -!- bfig [~b_fin_g@r186-52-140-155.dialup.adsl.anteldata.net.uy] has quit [Read error: Connection reset by peer] 09:48:00 bfig [~b_fin_g@r186-52-140-155.dialup.adsl.anteldata.net.uy] has joined #scheme 10:02:56 -!- bfig [~b_fin_g@r186-52-140-155.dialup.adsl.anteldata.net.uy] has quit [Read error: Connection reset by peer] 10:03:46 bfig [~b_fin_g@r186-52-140-155.dialup.adsl.anteldata.net.uy] has joined #scheme 10:04:00 -!- bfig [~b_fin_g@r186-52-140-155.dialup.adsl.anteldata.net.uy] has quit [Read error: Connection reset by peer] 10:06:39 -!- sporous [~sporous@antispammeta/bot/irssi/sporous] has quit [Read error: Operation timed out] 10:08:19 -!- cdidd [~cdidd@176.14.61.209] has quit [Remote host closed the connection] 10:10:41 sporous [~sporous@antispammeta/bot/irssi/sporous] has joined #scheme 10:14:51 -!- aoh [~aki@adsl-99-115.netplaza.fi] has quit [Quit: howl's moving server] 10:16:36 jewel [~jewel@183.62.46.82] has joined #scheme 10:33:18 -!- hkBst_ [~marijn@gentoo/developer/hkbst] has quit [Ping timeout: 272 seconds] 10:33:40 hkBst_ [~marijn@gentoo/developer/hkbst] has joined #scheme 10:40:32 aoh [~aki@adsl-99-115.netplaza.fi] has joined #scheme 10:40:34 -!- jewel [~jewel@183.62.46.82] has quit [Ping timeout: 244 seconds] 10:43:30 -!- Radium [~rajesh.na@117.220.48.26] has quit [Read error: Connection reset by peer] 10:47:14 -!- hkBst_ [~marijn@gentoo/developer/hkbst] has quit [Remote host closed the connection] 10:48:32 hkBst_ [~marijn@gentoo/developer/hkbst] has joined #scheme 10:49:08 amoe [~amoe@host-92-26-167-158.as13285.net] has joined #scheme 10:49:51 Radium [~rajesh.na@117.220.48.26] has joined #scheme 10:51:11 -!- hkBst_ [~marijn@gentoo/developer/hkbst] has quit [Read error: Connection reset by peer] 10:53:03 hkBst_ [~marijn@79.170.210.172] has joined #scheme 10:53:03 -!- hkBst_ [~marijn@79.170.210.172] has quit [Changing host] 10:53:03 hkBst_ [~marijn@gentoo/developer/hkbst] has joined #scheme 10:57:05 -!- hkBst_ [~marijn@gentoo/developer/hkbst] has quit [Remote host closed the connection] 10:58:06 hkBst_ [~marijn@gentoo/developer/hkbst] has joined #scheme 10:58:23 -!- Radium [~rajesh.na@117.220.48.26] has quit [] 11:14:35 Radium [~rajesh.na@117.220.48.26] has joined #scheme 11:15:13 -!- aoh [~aki@adsl-99-115.netplaza.fi] has quit [Quit: poof] 11:22:20 -!- acedia [~garland@unaffiliated/ffs] has quit [Quit: Planung ist der Ersatz von Zufall durch Irrtum. -- Erhard Schwenk] 11:30:46 r_r_r [~chatzilla@77.127.7.16] has joined #scheme 11:36:48 -!- add^_ [~add^_^@m90-131-121-26.cust.tele2.se] has quit [Quit: add^_] 12:08:17 bfig [~b_fin_g@r186-52-140-155.dialup.adsl.anteldata.net.uy] has joined #scheme 12:09:58 -!- ventonegro [~alex@cust.static.46-14-234-161.swisscomdata.ch] has quit [Read error: No route to host] 12:12:35 ventonegro [~alex@cust.static.46-14-234-161.swisscomdata.ch] has joined #scheme 12:15:01 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #scheme 12:21:21 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Read error: Connection reset by peer] 12:22:15 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 12:23:35 -!- bfig [~b_fin_g@r186-52-140-155.dialup.adsl.anteldata.net.uy] has quit [Read error: Connection reset by peer] 12:29:41 dzhus89 [~dzhus@95-24-110-75.broadband.corbina.ru] has joined #scheme 12:30:12 -!- dzhus [~dzhus@95-24-110-75.broadband.corbina.ru] has quit [Read error: Connection reset by peer] 12:31:55 jao [~user@160.Red-81-39-169.dynamicIP.rima-tde.net] has joined #scheme 12:32:13 -!- jao [~user@160.Red-81-39-169.dynamicIP.rima-tde.net] has quit [Changing host] 12:32:13 jao [~user@pdpc/supporter/professional/jao] has joined #scheme 12:40:56 -!- r_r_r [~chatzilla@77.127.7.16] has quit [Quit: ChatZilla 0.9.88.2 [Firefox 12.0/20120420145725]] 12:40:56 -!- ventonegro [~alex@cust.static.46-14-234-161.swisscomdata.ch] has quit [Read error: Connection reset by peer] 12:42:39 ventonegro [~alex@cust.static.46-14-234-161.swisscomdata.ch] has joined #scheme 12:56:16 getpwnam [~ian@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has joined #scheme 13:08:04 bzzbzz [~franco@modemcable151.155-57-74.mc.videotron.ca] has joined #scheme 13:08:25 gravicappa [~gravicapp@ppp91-77-180-35.pppoe.mtu-net.ru] has joined #scheme 13:12:42 -!- homie [~levgue@xdsl-84-44-155-180.netcologne.de] has quit [Read error: Connection reset by peer] 13:12:57 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 13:14:21 homie [~levgue@xdsl-84-44-155-180.netcologne.de] has joined #scheme 13:18:41 ahinki [~ahinki@212.99.10.150] has joined #scheme 13:25:28 chu [~mathew.ba@CPE-124-176-25-97.lns2.dea.bigpond.net.au] has joined #scheme 13:26:33 soveran [~soveran@186.19.214.247] has joined #scheme 13:32:50 -!- getpwnam [~ian@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has quit [Ping timeout: 252 seconds] 13:33:24 -!- homie [~levgue@xdsl-84-44-155-180.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 13:35:26 -!- mucker [~mucker@183.83.51.123] has quit [Ping timeout: 265 seconds] 13:37:05 mucker [~mucker@183.83.51.123] has joined #scheme 13:44:57 tuubow_ [~adityavit@c-68-37-139-248.hsd1.nj.comcast.net] has joined #scheme 13:45:46 -!- zxq9 [~zxq9@FL1-119-244-163-13.okn.mesh.ad.jp] has quit [Quit: Leaving] 13:49:11 langmartin [~user@host-68-169-175-226.WISOLT2.epbfi.com] has joined #scheme 13:51:34 realitygrill [~realitygr@adsl-76-226-120-48.dsl.sfldmi.sbcglobal.net] has joined #scheme 13:54:53 -!- chu [~mathew.ba@CPE-124-176-25-97.lns2.dea.bigpond.net.au] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 14:00:37 answer_42 [~answer_42@gateway/tor-sasl/answer42/x-66983568] has joined #scheme 14:07:33 -!- mucker [~mucker@183.83.51.123] has quit [Quit: leaving] 14:12:09 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #scheme 14:15:53 attila_lendvai1 [~attila_le@188-143-66-147.pool.digikabel.hu] has joined #scheme 14:15:53 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Disconnected by services] 14:23:33 add^_ [~add^_^@m90-131-121-26.cust.tele2.se] has joined #scheme 14:27:51 -!- hkBst_ [~marijn@gentoo/developer/hkbst] has quit [Quit: Konversation terminated!] 14:28:47 FRSHPRNCFBLR [~noone@CPE00222d560998-CM00222d560995.cpe.net.cable.rogers.com] has joined #scheme 14:37:04 lucasaiu [~lucasaiu@176.31.156.98] has joined #scheme 14:38:24 -!- cyphase [~cyphase@unaffiliated/cyphase] has quit [Ping timeout: 272 seconds] 14:40:30 getpwnam [~ian@128.249.96.123] has joined #scheme 14:44:38 asumu [~at@2001:470:b:b7:1e6f:65ff:fe23:c3d4] has joined #scheme 14:51:15 -!- jrslepak [~jrslepak@c-71-233-148-123.hsd1.ma.comcast.net] has quit [Quit: This computer has gone to sleep] 14:52:09 -!- ahinki [~ahinki@212.99.10.150] has quit [Quit: ChatZilla 0.9.88.2 [Firefox 13.0/20120509070325]] 14:53:32 -!- tuubow_ [~adityavit@c-68-37-139-248.hsd1.nj.comcast.net] has quit [Ping timeout: 246 seconds] 15:02:34 jlongster [~user@pool-108-4-74-122.rcmdva.fios.verizon.net] has joined #scheme 15:04:41 jeapostr1phe [~jay@69.169.141.110.provo.static.broadweavenetworks.net] has joined #scheme 15:14:02 -!- dnolen [~user@cpe-98-14-92-234.nyc.res.rr.com] has quit [Ping timeout: 265 seconds] 15:15:01 -!- FRSHPRNCFBLR [~noone@CPE00222d560998-CM00222d560995.cpe.net.cable.rogers.com] has quit [Ping timeout: 248 seconds] 15:18:37 tupi [~david@139.82.89.157] has joined #scheme 15:20:18 -!- ventonegro [~alex@cust.static.46-14-234-161.swisscomdata.ch] has quit [Quit: ventonegro] 15:21:28 -!- ThePawnBreak [Cristi@94.177.108.25] has quit [Ping timeout: 272 seconds] 15:21:44 sizz_ [~sizz@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has joined #scheme 15:22:44 -!- sizz [~sizz@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has quit [Ping timeout: 265 seconds] 15:24:20 tuubow_ [~adityavit@c-68-37-139-248.hsd1.nj.comcast.net] has joined #scheme 15:26:49 kk` [~kk@unaffiliated/kk/x-5380134] has joined #scheme 15:28:09 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 15:38:08 FRSHPRNCFBLR [~noone@CPE00222d560998-CM00222d560995.cpe.net.cable.rogers.com] has joined #scheme 15:39:26 arcfide [~arcfide@c-98-223-204-153.hsd1.in.comcast.net] has joined #scheme 15:43:30 -!- amoe [~amoe@host-92-26-167-158.as13285.net] has quit [Quit: Lost terminal] 15:45:00 nvteighen [~nvteighen@82.Red-88-2-27.staticIP.rima-tde.net] has joined #scheme 15:45:02 -!- nvteighen [~nvteighen@82.Red-88-2-27.staticIP.rima-tde.net] has left #scheme 15:45:55 -!- sestisr [~chatzilla@138.227.189.8] has quit [Ping timeout: 255 seconds] 15:46:17 -!- dzhus89 is now known as dzhus 15:55:17 leo2007 [~leo@123.114.33.28] has joined #scheme 16:25:26 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has quit [Ping timeout: 272 seconds] 16:25:35 -!- tuubow_ [~adityavit@c-68-37-139-248.hsd1.nj.comcast.net] has quit [Ping timeout: 246 seconds] 16:29:04 jonrafkind [~jon@racket/jonrafkind] has joined #scheme 16:31:03 adu [~ajr@pool-173-66-253-53.washdc.fios.verizon.net] has joined #scheme 16:34:00 -!- lucasaiu [~lucasaiu@176.31.156.98] has quit [Quit: Leaving.] 16:36:41 -!- jeapostr1phe [~jay@69.169.141.110.provo.static.broadweavenetworks.net] has quit [Ping timeout: 265 seconds] 16:39:37 -!- confab [~win7@c-71-193-9-153.hsd1.ca.comcast.net] has quit [Read error: Connection reset by peer] 16:42:37 -!- bzzbzz [~franco@modemcable151.155-57-74.mc.videotron.ca] has quit [Quit: leaving] 16:44:31 mmc1 [~michal@178-85-63-71.dynamic.upc.nl] has joined #scheme 16:52:19 -!- zbigniew [~zb@ipv6.3e8.org] has quit [Quit: Changing server] 16:52:53 zbigniew [~zb@3e8.org] has joined #scheme 16:53:40 -!- zbigniew [~zb@3e8.org] has quit [Client Quit] 16:53:53 zbigniew [~zb@3e8.org] has joined #scheme 17:04:46 -!- leo2007 [~leo@123.114.33.28] has quit [Quit: rcirc on GNU Emacs 24.0.96.1] 17:12:57 malorie [~no@unaffiliated/malorie] has joined #scheme 17:15:09 hi. I'm wondering what the type of n-ary procedures like `+' would be? (if there is such a thing) 17:16:03 (list int) -> int maybe? 17:16:39 that's what I thought, too 17:16:52 Int* -> Int 17:16:56 so pretty much like Haskell's `sum :: Num a => [a] -> a' 17:16:58 though that isn't strictly correct, as + doesn't really take a *list* as a parameter 17:17:06 where * has it's usual meaning of zero or more 17:17:15 hm 17:17:45 you're not going to be able to cleanly put it into a type system not designed for n-ary procedures 17:17:51 couldn't one argue, that there is some sugar that turns the application (op e1 e2 .. en) to (op '(e1 e2 .. en))? 17:17:58 Num* -> Num 17:18:09 + doesn't have to operate on integers 17:18:28 the best you can do is maybe hack around it with a list type 17:18:47 Try putting a type on if :) 17:18:48 LeoNerd: true, but that isn't really the issue here 17:18:57 And then reason about (if #f 0 "zero") 17:19:12 if :: Bool -> * 17:19:17 if :: Bool -> (a | b) 17:19:32 if :: Bool a b -> (a | b), sorry 17:20:27 well. if :: Bool -> Either a b, pretty much 17:20:32 yah 17:22:12 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Read error: Connection reset by peer] 17:22:28 Oooho.. what about named let? 17:22:48 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 17:23:36 (cond) 17:23:48 MrFahrenheit [~RageOfTho@users-55-233.vinet.ba] has joined #scheme 17:25:35 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 17:27:00 araujo [~araujo@190.38.84.85] has joined #scheme 17:27:00 -!- araujo [~araujo@190.38.84.85] has quit [Changing host] 17:27:00 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 17:27:00 LeoNerd: named let has whatever type its inner expression has 17:27:08 Yeahhh 17:27:28 Except can you necessarily know that type, because the loop is visible to itself 17:28:01 I don't see why not 17:32:19 amgarchIn9 [~amgarchin@p4FD61AC2.dip0.t-ipconnect.de] has joined #scheme 17:38:30 cyphase [~cyphase@unaffiliated/cyphase] has joined #scheme 17:39:30 jeapostrophe [~jay@lallab.cs.byu.edu] has joined #scheme 17:39:30 -!- jeapostrophe [~jay@lallab.cs.byu.edu] has quit [Changing host] 17:39:30 jeapostrophe [~jay@racket/jeapostrophe] has joined #scheme 17:43:56 homie [~levgue@xdsl-84-44-210-80.netcologne.de] has joined #scheme 17:45:35 malorie: there's a paper that describes how to do types for n-ary procedures. It's what's used for Typed Racket. 17:46:00 malorie: http://www.ccs.neu.edu/racket/pubs/esop09-sthf.pdf 17:49:48 asumu: interesting 17:50:14 -!- wingo [~wingo@176.pool85-50-188.dynamic.orange.es] has quit [Ping timeout: 252 seconds] 17:50:42 turbofail [~user@38.99.37.210] has joined #scheme 18:01:10 untrusted [~user@stgt-5f718838.pool.mediaWays.net] has joined #scheme 18:07:38 choas [~lars@p5795C26C.dip.t-dialin.net] has joined #scheme 18:11:05 mucker [~mucker@183.83.227.117] has joined #scheme 18:22:56 bzzbzz [~franco@modemcable151.155-57-74.mc.videotron.ca] has joined #scheme 18:25:24 eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has joined #scheme 18:28:33 Fare [~Fare@216.239.55.82] has joined #scheme 18:42:52 -!- eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has quit [Ping timeout: 272 seconds] 18:48:07 toekutr [~user@50-0-51-2.dsl.static.sonic.net] has joined #scheme 18:52:55 wingo [~wingo@90.164.198.39] has joined #scheme 18:53:15 annodomini [~lambda@173-14-129-9-NewEngland.hfc.comcastbusiness.net] has joined #scheme 18:53:22 -!- annodomini [~lambda@173-14-129-9-NewEngland.hfc.comcastbusiness.net] has quit [Changing host] 18:53:23 annodomini [~lambda@wikipedia/lambda] has joined #scheme 19:03:55 jrslepak [~jrslepak@c-71-233-148-123.hsd1.ma.comcast.net] has joined #scheme 19:04:43 -!- untrusted [~user@stgt-5f718838.pool.mediaWays.net] has quit [Remote host closed the connection] 19:08:33 -!- ssbr [~ssbr@python/site-packages/ssbr] has quit [Read error: Operation timed out] 19:10:06 ssbr [~ssbr@python/site-packages/ssbr] has joined #scheme 19:18:47 eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has joined #scheme 19:19:26 bbear [~quassel@3.0.98.84.rev.sfr.net] has joined #scheme 19:21:10 -!- Radium [~rajesh.na@117.220.48.26] has quit [Ping timeout: 252 seconds] 19:21:21 Radium [~rajesh.na@117.203.3.23] has joined #scheme 19:22:22 -!- robolobster54 [~robolobst@77.241.58.140] has quit [Quit: Leaving] 19:22:51 zxq9 [~zxq9@FL1-119-244-163-13.okn.mesh.ad.jp] has joined #scheme 19:23:54 jcowan [~John@mail.digitalkingdom.org] has joined #scheme 19:24:43 asumu: thanks. much appreciated 19:24:55 robolobster54 [~robolobst@77.241.58.140] has joined #scheme 19:29:43 -!- arcfide [~arcfide@c-98-223-204-153.hsd1.in.comcast.net] has quit [Quit: Leaving] 19:33:27 hoi 19:34:04 yo ho ho 19:36:53 -!- langmartin [~user@host-68-169-175-226.WISOLT2.epbfi.com] has quit [Ping timeout: 248 seconds] 19:39:40 bottle of rum 19:46:18 -!- SeanTAllen [u4855@gateway/web/irccloud.com/x-comajksizedjsfko] has quit [Ping timeout: 245 seconds] 19:46:27 -!- mucker [~mucker@183.83.227.117] has quit [Quit: leaving] 19:50:45 kreol[Ukr] [~kreol@85.198.173.181] has joined #scheme 20:00:24 tuubow_ [adityavit@conference/itp/x-skboaviydqpmfjly] has joined #scheme 20:02:13 bfig [~b_fin_g@r190-135-34-154.dialup.adsl.anteldata.net.uy] has joined #scheme 20:04:21 civodul [~user@reverse-83.fdn.fr] has joined #scheme 20:04:30 SeanTAllen [u4855@gateway/web/irccloud.com/x-jazmgcjrvmcqthka] has joined #scheme 20:07:56 -!- eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has quit [Ping timeout: 260 seconds] 20:10:53 -!- bfig [~b_fin_g@r190-135-34-154.dialup.adsl.anteldata.net.uy] has quit [Ping timeout: 272 seconds] 20:13:07 langmartin [~user@host-184-174-163-79.WISOLT2.epbfi.com] has joined #scheme 20:16:24 bfig [~b_fin_g@r190-135-34-154.dialup.adsl.anteldata.net.uy] has joined #scheme 20:19:00 -!- soveran [~soveran@186.19.214.247] has quit [Remote host closed the connection] 20:33:58 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #scheme 20:36:05 -!- FRSHPRNCFBLR [~noone@CPE00222d560998-CM00222d560995.cpe.net.cable.rogers.com] has quit [Ping timeout: 252 seconds] 20:36:48 -!- attila_lendvai1 [~attila_le@188-143-66-147.pool.digikabel.hu] has quit [Ping timeout: 244 seconds] 20:39:29 acedia [~garland@unaffiliated/ffs] has joined #scheme 20:45:36 -!- answer_42 [~answer_42@gateway/tor-sasl/answer42/x-66983568] has quit [Quit: leaving] 20:46:50 -!- gravicappa [~gravicapp@ppp91-77-180-35.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 20:51:06 -!- add^_ [~add^_^@m90-131-121-26.cust.tele2.se] has quit [Quit: add^_] 20:56:07 soveran [~soveran@186.19.214.247] has joined #scheme 20:56:24 -!- mmc1 [~michal@178-85-63-71.dynamic.upc.nl] has quit [Ping timeout: 245 seconds] 20:56:43 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has left #scheme 20:59:59 -!- tuubow_ [adityavit@conference/itp/x-skboaviydqpmfjly] has quit [Ping timeout: 246 seconds] 21:05:32 mmc1 [~michal@178-85-63-71.dynamic.upc.nl] has joined #scheme 21:07:17 -!- getpwnam [~ian@128.249.96.123] has quit [Ping timeout: 244 seconds] 21:27:49 -!- adu [~ajr@pool-173-66-253-53.washdc.fios.verizon.net] has quit [Quit: adu] 21:31:52 cdidd [~cdidd@128-69-29-39.broadband.corbina.ru] has joined #scheme 21:35:46 -!- kreol[Ukr] [~kreol@85.198.173.181] has quit [Ping timeout: 272 seconds] 21:36:17 -!- dzhus [~dzhus@95-24-110-75.broadband.corbina.ru] has quit [Ping timeout: 245 seconds] 21:44:57 -!- antithesis [~antithesi@s51476e07.adsl.wanadoo.nl] has quit [Quit: yes leaving] 21:46:25 -!- pothos [~pothos@114-25-192-78.dynamic.hinet.net] has quit [Read error: Operation timed out] 21:47:04 pothos [~pothos@114-36-230-68.dynamic.hinet.net] has joined #scheme 21:47:05 -!- annodomini [~lambda@wikipedia/lambda] has quit [Quit: annodomini] 21:47:26 -!- langmartin [~user@host-184-174-163-79.WISOLT2.epbfi.com] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:48:43 -!- realitygrill [~realitygr@adsl-76-226-120-48.dsl.sfldmi.sbcglobal.net] has quit [Read error: Connection reset by peer] 21:50:10 -!- choas [~lars@p5795C26C.dip.t-dialin.net] has quit [Ping timeout: 244 seconds] 21:51:00 -!- jcowan [~John@mail.digitalkingdom.org] has left #scheme 21:51:59 ysph [~user@adsl-070-147-172-248.sip.mgm.bellsouth.net] has joined #scheme 21:52:55 realitygrill [~realitygr@adsl-76-226-130-213.dsl.sfldmi.sbcglobal.net] has joined #scheme 22:00:50 Damn, looks like SourceForge finally joined the aughts by pulling the trigger on their GitHub-like rewrite. 22:01:32 That makes me vaguely depressed, for some reason; I almost wish they had heroically clung to the nineties. 22:02:55 getpwnam [~ian@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has joined #scheme 22:03:20 No; in good sadness, though, I should temper the severity of the prenominate snark. 22:03:59 are you referring to alura? 22:04:31 -!- ysph [~user@adsl-070-147-172-248.sip.mgm.bellsouth.net] has quit [Ping timeout: 244 seconds] 22:07:08 -!- amgarchIn9 [~amgarchin@p4FD61AC2.dip0.t-ipconnect.de] has quit [Quit: Konversation terminated!] 22:11:09 jonrafkind: Do you mean or ? 22:11:38 -!- sizz_ is now known as sizz 22:11:50 annodomini [~lambda@173-14-129-9-NewEngland.hfc.comcastbusiness.net] has joined #scheme 22:11:50 -!- annodomini [~lambda@173-14-129-9-NewEngland.hfc.comcastbusiness.net] has quit [Changing host] 22:11:50 annodomini [~lambda@wikipedia/lambda] has joined #scheme 22:12:00 https://sourceforge.net/p/allura/wiki/Allura%20Wiki/ dawg 22:12:04 its their 2.0 interface 22:13:22 -!- ijp [~user@host86-169-103-23.range86-169.btcentralplus.com] has quit [Quit: The garbage collector got me] 22:13:26 jonrafkind: Ah, two ells; yeah, I guess so. Looks like they added git, too. 22:13:31 I suppose git was zugzwang, though. 22:15:02 -!- jeapostrophe [~jay@racket/jeapostrophe] has quit [Ping timeout: 245 seconds] 22:15:08 -!- bbear [~quassel@3.0.98.84.rev.sfr.net] has quit [Ping timeout: 240 seconds] 22:17:28 Maybe these dudes should have gone straight to 3.0 a la ; as it is, they're playing catch-up. 22:17:29 http://tinyurl.com/ye9369h 22:23:17 -!- civodul [~user@reverse-83.fdn.fr] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 22:25:10 -!- mmc1 [~michal@178-85-63-71.dynamic.upc.nl] has quit [Ping timeout: 272 seconds] 22:25:22 -!- wingo [~wingo@90.164.198.39] has quit [Read error: Operation timed out] 22:43:32 -!- Fare [~Fare@216.239.55.82] has quit [Ping timeout: 272 seconds] 22:47:08 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 240 seconds] 22:47:55 -!- annodomini [~lambda@wikipedia/lambda] has quit [Ping timeout: 244 seconds] 22:48:25 annodomini [~lambda@173-14-129-9-NewEngland.hfc.comcastbusiness.net] has joined #scheme 22:48:26 -!- annodomini [~lambda@173-14-129-9-NewEngland.hfc.comcastbusiness.net] has quit [Changing host] 22:48:26 annodomini [~lambda@wikipedia/lambda] has joined #scheme 22:56:31 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Quit: Computer has gone to sleep.] 23:00:14 -!- annodomini [~lambda@wikipedia/lambda] has quit [Quit: annodomini] 23:00:39 annodomini [~lambda@173-14-129-9-NewEngland.hfc.comcastbusiness.net] has joined #scheme 23:00:39 -!- annodomini [~lambda@173-14-129-9-NewEngland.hfc.comcastbusiness.net] has quit [Changing host] 23:00:39 annodomini [~lambda@wikipedia/lambda] has joined #scheme 23:00:47 -!- annodomini [~lambda@wikipedia/lambda] has quit [Client Quit] 23:05:02 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Quit: WeeChat 0.3.7] 23:07:36 -!- jlongster [~user@pool-108-4-74-122.rcmdva.fios.verizon.net] has quit [Ping timeout: 272 seconds] 23:09:26 attila_lendvai [~attila_le@178-164-240-177.pool.digikabel.hu] has joined #scheme 23:09:26 -!- attila_lendvai [~attila_le@178-164-240-177.pool.digikabel.hu] has quit [Changing host] 23:09:26 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #scheme 23:12:50 mjonsson [~mjonsson@38.109.95.133] has joined #scheme 23:13:39 dnolen [~user@cpe-98-14-92-234.nyc.res.rr.com] has joined #scheme 23:30:37 -!- masm [~masm@bl18-51-111.dsl.telepac.pt] has quit [Quit: Leaving.] 23:41:05 masm [~masm@bl18-51-111.dsl.telepac.pt] has joined #scheme 23:44:05 -!- peterhil` [~peterhil@xdsl-77-86-196-131.nebulazone.fi] has quit [Ping timeout: 260 seconds] 23:44:33 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 252 seconds] 23:54:32 -!- tupi [~david@139.82.89.157] has quit [Remote host closed the connection] 23:55:46 -!- graspee [~graspee@02dd1c10.bb.sky.com] has quit [Quit: time for bed]