00:11:08 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Ping timeout: 240 seconds] 00:11:22 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 00:19:03 -!- EmmanuelOga [~emmanuel@190.244.15.195] has quit [Ping timeout: 244 seconds] 00:26:38 homie [~levgue@xdsl-78-35-177-238.netcologne.de] has joined #scheme 00:28:35 -!- wingo [~wingo@90.164.198.39] has quit [Ping timeout: 240 seconds] 00:28:48 nego [~nego@c-67-174-92-249.hsd1.il.comcast.net] has joined #scheme 00:35:02 -!- amgarching [~matveev@theo1.theochem.tu-muenchen.de] has quit [Ping timeout: 255 seconds] 01:14:06 -!- phax [~phax@unaffiliated/phax] has quit [Quit: Leaving] 01:16:39 -!- sphex [~nobody@74.127.215.20] has quit [Read error: Operation timed out] 01:16:50 sphex [~nobody@74.127.215.20] has joined #scheme 01:17:12 -!- rostayob [~rostayob@93-40-129-14.ip38.fastwebnet.it] has quit [Quit: WeeChat 0.3.5] 01:33:29 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Ping timeout: 240 seconds] 01:41:30 -!- nego [~nego@c-67-174-92-249.hsd1.il.comcast.net] has quit [Quit: Lost terminal] 01:43:55 -!- copumpkin [~copumpkin@unaffiliated/pumpkingod] has quit [Ping timeout: 240 seconds] 01:44:19 -!- airolson [~airolson@CPE00222d55a738-CM00222d55a735.cpe.net.cable.rogers.com] has quit [] 01:44:23 copumpkin [~copumpkin@unaffiliated/pumpkingod] has joined #scheme 01:44:30 kpal [~kpal@217.12.70.190] has joined #scheme 01:46:38 -!- choas [~lars@p5795C584.dip.t-dialin.net] has quit [Ping timeout: 240 seconds] 01:46:59 kk` [~kk@unaffiliated/kk/x-5380134] has joined #scheme 01:48:47 choas [~lars@p5795CD39.dip.t-dialin.net] has joined #scheme 02:03:38 -!- choas [~lars@p5795CD39.dip.t-dialin.net] has quit [Ping timeout: 240 seconds] 02:10:09 ThePawnBreak [~quassel@94.177.108.25] has joined #scheme 02:15:36 freakazoid [~seanl@c-67-164-106-36.hsd1.ca.comcast.net] has joined #scheme 02:17:40 -!- ThePawnBreak [~quassel@94.177.108.25] has quit [Ping timeout: 276 seconds] 02:19:52 -!- freakazoid [~seanl@c-67-164-106-36.hsd1.ca.comcast.net] has quit [Client Quit] 02:20:59 -!- Blkt`` is now known as Blkt 02:23:58 freakazoid [~seanl@c-67-164-106-36.hsd1.ca.comcast.net] has joined #scheme 02:27:22 -!- Blkt [~Blkt@82.84.135.7] has quit [Quit: good night everyone] 02:45:02 -!- bfig [~b_fin_g@r186-52-141-99.dialup.adsl.anteldata.net.uy] has quit [Quit: Leaving] 02:45:19 bfig [~b_fin_g@r186-52-141-99.dialup.adsl.anteldata.net.uy] has joined #scheme 02:53:32 phax [~phax@unaffiliated/phax] has joined #scheme 03:14:18 -!- freakazoid [~seanl@c-67-164-106-36.hsd1.ca.comcast.net] has quit [Quit: Computer has gone to sleep.] 03:27:04 -!- poincare101 [~Dhaivat_P@CPE-65-27-96-82.new.res.rr.com] has quit [Read error: Connection reset by peer] 03:29:33 hba [~hba@187.171.213.77] has joined #scheme 03:33:50 -!- brendyn [~brendyn@123-2-73-61.static.dsl.dodo.com.au] has quit [Ping timeout: 244 seconds] 03:34:17 brendyn [~brendyn@123-2-73-61.static.dsl.dodo.com.au] has joined #scheme 03:36:54 -!- phax [~phax@unaffiliated/phax] has quit [Quit: Leaving] 03:37:50 -!- dotemacs [u801@gateway/web/irccloud.com/x-qtcknfdqnvgufyeu] has quit [Remote host closed the connection] 03:37:55 -!- SeanTAllen [u4855@gateway/web/irccloud.com/x-iqabjleajafahgoy] has quit [Remote host closed the connection] 04:02:24 freakazoid [~seanl@c-67-164-106-36.hsd1.ca.comcast.net] has joined #scheme 04:13:03 -!- _schulte_ [~eschulte@c-174-56-1-147.hsd1.nm.comcast.net] has quit [Quit: leaving] 04:33:17 SeanTAllen [u4855@gateway/web/irccloud.com/x-nyagyjcjfgvgwxad] has joined #scheme 04:59:22 -!- SeanTAllen [u4855@gateway/web/irccloud.com/x-nyagyjcjfgvgwxad] has quit [Remote host closed the connection] 05:00:39 -!- masm [~masm@2.80.162.137] has quit [Quit: Leaving.] 05:02:06 ThePawnBreak [~quassel@94.177.108.25] has joined #scheme 05:17:14 -!- ijp [~user@host86-171-77-216.range86-171.btcentralplus.com] has quit [Quit: The garbage collector got me] 05:18:49 -!- freakazoid [~seanl@c-67-164-106-36.hsd1.ca.comcast.net] has quit [Quit: Computer has gone to sleep.] 05:26:21 SeanTAllen [u4855@gateway/web/irccloud.com/x-mssjmdsmyidydhif] has joined #scheme 05:26:38 -!- MrFahrenheit [~RageOfTho@users-38-222.vinet.ba] has quit [Ping timeout: 252 seconds] 05:34:49 freakazoid [~seanl@c-67-164-106-36.hsd1.ca.comcast.net] has joined #scheme 05:37:20 woonie [~woonie@175.156.217.188] has joined #scheme 05:44:14 -!- jrslepak [~jrslepak@c-71-233-151-135.hsd1.ma.comcast.net] has quit [Quit: Leaving] 05:50:44 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Quit: Leaving] 06:00:55 -!- kpal [~kpal@217.12.70.190] has quit [Ping timeout: 248 seconds] 06:03:01 kpal [~kpal@217.12.70.190] has joined #scheme 06:07:13 -!- homie [~levgue@xdsl-78-35-177-238.netcologne.de] has quit [Read error: Connection reset by peer] 06:08:37 homie [~levgue@xdsl-78-35-177-238.netcologne.de] has joined #scheme 06:12:49 -!- githogori [~githogori@c-50-131-15-16.hsd1.ca.comcast.net] has quit [Remote host closed the connection] 06:28:04 -!- copumpkin is now known as copumpkin|rottin 07:12:04 MrFahrenheit [~RageOfTho@users-38-222.vinet.ba] has joined #scheme 07:14:29 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 252 seconds] 07:38:21 -!- realitygrill [~realitygr@adsl-76-226-139-212.dsl.sfldmi.sbcglobal.net] has quit [Quit: realitygrill] 07:40:50 -!- MrFahrenheit [~RageOfTho@users-38-222.vinet.ba] has quit [Ping timeout: 252 seconds] 07:51:35 -!- bfig [~b_fin_g@r186-52-141-99.dialup.adsl.anteldata.net.uy] has quit [Ping timeout: 240 seconds] 07:53:18 tom_i [~thomasing@ingserv.demon.co.uk] has joined #scheme 07:53:19 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Quit: Leaving] 07:56:48 -!- brendyn [~brendyn@123-2-73-61.static.dsl.dodo.com.au] has quit [Ping timeout: 252 seconds] 07:57:26 brendyn [~brendyn@123-2-73-61.static.dsl.dodo.com.au] has joined #scheme 07:59:09 araujo [~araujo@190.73.44.29] has joined #scheme 07:59:09 -!- araujo [~araujo@190.73.44.29] has quit [Changing host] 07:59:09 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 08:18:17 -!- tom_i [~thomasing@ingserv.demon.co.uk] has quit [Ping timeout: 252 seconds] 08:20:43 tom_i [~thomasing@ingserv.demon.co.uk] has joined #scheme 08:28:01 githogori [~githogori@c-50-131-15-16.hsd1.ca.comcast.net] has joined #scheme 08:47:20 -!- confab [~win7@c-71-193-9-153.hsd1.ca.comcast.net] has quit [Read error: Connection reset by peer] 08:52:08 -!- freakazoid [~seanl@c-67-164-106-36.hsd1.ca.comcast.net] has quit [Quit: Computer has gone to sleep.] 08:56:27 confab [~confab@c-71-193-9-153.hsd1.ca.comcast.net] has joined #scheme 09:00:44 Prael [~alamar@72.170.99.114] has joined #scheme 09:09:56 -!- Prael [~alamar@72.170.99.114] has quit [Read error: Connection reset by peer] 09:14:56 cryptopsy [~cryptopsy@unaffiliated/aborticide] has joined #scheme 09:14:58 rm: cannot remove `/usr/bin/scheme-r5rs': Permission denied 09:15:13 this is a step in installing scheme48 on gentoo, why's it doing this? 09:16:11 ahinki [~chatzilla@AAmiens-551-1-105-8.w92-147.abo.wanadoo.fr] has joined #scheme 09:18:35 -!- brendyn [~brendyn@123-2-73-61.static.dsl.dodo.com.au] has quit [Ping timeout: 252 seconds] 09:21:05 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Quit: Leaving] 09:21:38 brendyn [~brendyn@123-2-73-61.static.dsl.dodo.com.au] has joined #scheme 09:37:52 -!- turbofail [~user@99-121-57-65.lightspeed.sntcca.sbcglobal.net] has quit [Ping timeout: 268 seconds] 09:38:54 -!- cmatei [~cmatei@95.76.22.68] has quit [Remote host closed the connection] 09:43:08 -!- bwright [~bwright@c122-106-254-100.belrs3.nsw.optusnet.com.au] has quit [Ping timeout: 255 seconds] 09:47:15 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 09:52:38 cmatei [~cmatei@95.76.22.68] has joined #scheme 09:57:55 mmc1 [~michal@178-85-131-65.dynamic.upc.nl] has joined #scheme 10:01:21 bytbox [~s@96.26.105.154] has joined #scheme 10:20:30 acieroid [~acieroid@wtf.awesom.eu] has joined #scheme 10:21:40 -!- SeanTAllen [u4855@gateway/web/irccloud.com/x-mssjmdsmyidydhif] has quit [Remote host closed the connection] 10:29:31 -!- acieroid [~acieroid@wtf.awesom.eu] has quit [Quit: ] 10:29:45 -!- webben [~benjamin@173-203-84-17.static.cloud-ips.com] has quit [Ping timeout: 244 seconds] 10:33:59 acieroid [~acieroid@wtf.awesom.eu] has joined #scheme 10:39:34 choas [~lars@p5795CD39.dip.t-dialin.net] has joined #scheme 10:47:51 SeanTAllen [u4855@gateway/web/irccloud.com/x-itxntfhybdfccqwd] has joined #scheme 10:56:48 djcb [~user@a88-114-95-13.elisa-laajakaista.fi] has joined #scheme 11:19:43 rostayob [~rostayob@93-40-109-108.ip38.fastwebnet.it] has joined #scheme 11:25:36 -!- X-Scale [email@sgi-ultra64.broker.freenet6.net] has quit [Remote host closed the connection] 11:31:59 -!- cryptopsy [~cryptopsy@unaffiliated/aborticide] has quit [Quit: Lost terminal] 11:32:05 replore_ [~replore@ntkngw298122.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 11:40:56 -!- kpal [~kpal@217.12.70.190] has quit [Ping timeout: 240 seconds] 11:43:01 kpal [~kpal@217.12.70.190] has joined #scheme 11:43:32 webben [~benjamin@173-203-84-17.static.cloud-ips.com] has joined #scheme 11:47:51 jt123 [~jayan@cpc4-lutn3-0-0-cust768.9-3.cable.virginmedia.com] has joined #scheme 11:48:17 hey people 11:48:20 anybody able to help me... wondering how to search for something like (^ x 0) and replace with 0 11:48:30 http://pastebin.com/NfTPdRW4 11:48:44 in normalize-poly p 12:06:20 -!- kpal [~kpal@217.12.70.190] has quit [Ping timeout: 260 seconds] 12:06:45 kpal [~kpal@217-12-70-190.sibtele.com] has joined #scheme 12:10:37 homie` [~levgue@xdsl-87-79-198-6.netcologne.de] has joined #scheme 12:12:59 -!- homie [~levgue@xdsl-78-35-177-238.netcologne.de] has quit [Ping timeout: 255 seconds] 12:20:14 mucker [~mucker@183.83.227.117] has joined #scheme 12:22:24 arthurmaciel [~user@186.204.126.4] has joined #scheme 12:23:02 wingo [~wingo@90.164.198.39] has joined #scheme 12:33:26 hello 13:06:33 HG` [~HG@dsbg-4d0d376c.pool.mediaWays.net] has joined #scheme 13:08:19 -!- fbs [fbs@fsf/member/fbs] has quit [Ping timeout: 252 seconds] 13:11:42 masm [~masm@bl19-162-137.dsl.telepac.pt] has joined #scheme 13:18:23 fbs [fbs@fsf/member/fbs] has joined #scheme 13:22:32 kennyd [~kennyd@93-138-19-151.adsl.net.t-com.hr] has joined #scheme 13:22:46 -!- kennyd [~kennyd@93-138-19-151.adsl.net.t-com.hr] has left #scheme 13:26:51 araujo [~araujo@190.73.44.29] has joined #scheme 13:26:51 -!- araujo [~araujo@190.73.44.29] has quit [Changing host] 13:26:51 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 13:31:37 -!- REPLeffect [~REPLeffec@69.54.115.254] has quit [Ping timeout: 244 seconds] 13:36:03 has anyone tried arc? 13:38:42 REPLeffect [~REPLeffec@69.54.115.254] has joined #scheme 13:43:49 -!- kpal [~kpal@217-12-70-190.sibtele.com] has quit [Ping timeout: 252 seconds] 13:50:10 gravicappa [~gravicapp@h178-129-93-49.dyn.bashtel.ru] has joined #scheme 14:00:33 -!- HG` [~HG@dsbg-4d0d376c.pool.mediaWays.net] has quit [Ping timeout: 252 seconds] 14:08:36 -!- leppie [~lolcow@196-210-143-222.dynamic.isadsl.co.za] has quit [Read error: Connection reset by peer] 14:08:46 ijp [~user@host86-171-77-216.range86-171.btcentralplus.com] has joined #scheme 14:10:34 -!- rostayob [~rostayob@93-40-109-108.ip38.fastwebnet.it] has quit [Quit: WeeChat 0.3.5] 14:11:09 -!- tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has quit [Ping timeout: 240 seconds] 14:14:54 leppie [~lolcow@196-210-143-222.dynamic.isadsl.co.za] has joined #scheme 14:21:39 add^_ [~add^_^@m90-141-46-62.cust.tele2.se] has joined #scheme 14:21:55 pygospa [~Pygosceli@kiel-4dbed3bf.pool.mediaWays.net] has joined #scheme 14:22:36 MrFahrenheit [~RageOfTho@users-38-222.vinet.ba] has joined #scheme 14:30:46 -!- add^_ [~add^_^@m90-141-46-62.cust.tele2.se] has quit [Quit: add^_] 14:30:59 -!- gravicappa [~gravicapp@h178-129-93-49.dyn.bashtel.ru] has quit [Remote host closed the connection] 14:31:15 gravicappa [~gravicapp@h178-129-93-49.dyn.bashtel.ru] has joined #scheme 14:45:57 mark_ [~markskilb@host86-137-39-60.range86-137.btcentralplus.com] has joined #scheme 14:47:46 -!- markskilbeck [~markskilb@unaffiliated/markskilbeck] has quit [Ping timeout: 276 seconds] 14:48:23 markskilbeck [~Mark@unaffiliated/markskilbeck] has joined #scheme 14:51:25 bri4n_ [~bri4n@188.24.110.209] has joined #scheme 14:52:50 Blkt [~user@82.84.135.7] has joined #scheme 14:54:00 good day everyone 14:55:08 -!- brendyn [~brendyn@123-2-73-61.static.dsl.dodo.com.au] has quit [Ping timeout: 240 seconds] 15:03:58 Blkt: hi 15:04:07 thorwil [~thorwil@p5B3DD249.dip.t-dialin.net] has joined #scheme 15:05:13 hi! i wonder what is was the motivation for #t and #f instead of true and false? is there any use of # for something else? 15:05:13 :D 15:09:03 -!- gravicappa [~gravicapp@h178-129-93-49.dyn.bashtel.ru] has quit [Remote host closed the connection] 15:10:55 karswell [~coat@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 15:15:41 thorwil: because then you refer to truth and falsity if someone rebound the identifiers 'true' and 'false' ? 15:15:52 s/you/how would you/ 15:17:06 # is just a general reader syntax beginning that is used for a lot of things #e #x #o #() ... 15:18:11 so basically # marks things you can't redefine? 15:18:52 yes, in that identifiers can't begin with a # 15:19:03 ok, thanks 15:20:52 although, as I wasn't quite specific enough, one answer to my question would have been (= 0 0) | (= 0 1) :) 15:21:45 thorwil: # marks values, as opposed to names 15:22:01 you can redefine names. you can't redefine a value, it just is. 15:24:34 wingo: do all of #t, 23, "foo" count as values in the same way? 15:33:14 -!- copumpkin|rottin is now known as copumpkin 15:33:17 kk` [~kk@unaffiliated/kk/x-5380134] has joined #scheme 15:40:01 -!- mark_ is now known as markski1beck 15:42:32 -!- mucker [~mucker@183.83.227.117] has quit [Quit: Leaving] 15:51:56 rdd [~rdd@c83-250-153-128.bredband.comhem.se] has joined #scheme 15:53:29 -!- ijp [~user@host86-171-77-216.range86-171.btcentralplus.com] has quit [Ping timeout: 240 seconds] 15:54:19 ijp [~user@host31-53-168-104.range31-53.btcentralplus.com] has joined #scheme 15:56:31 bfig [~b_fin_g@r186-52-191-184.dialup.adsl.anteldata.net.uy] has joined #scheme 16:00:24 tupi [~david@189.119.81.219] has joined #scheme 16:06:34 -!- REPLeffect [~REPLeffec@69.54.115.254] has quit [Remote host closed the connection] 16:06:35 ijp` [~user@host86-182-156-41.range86-182.btcentralplus.com] has joined #scheme 16:06:42 *offby1* ventures to answer for wingo: "yes" 16:08:09 -!- ijp [~user@host31-53-168-104.range31-53.btcentralplus.com] has quit [Ping timeout: 240 seconds] 16:12:18 -!- rdd [~rdd@c83-250-153-128.bredband.comhem.se] has quit [] 16:16:01 GoKhlayeh [~GoKhlayeh@33.31.80.79.rev.sfr.net] has joined #scheme 16:25:22 gravicappa [~gravicapp@h178-129-93-49.dyn.bashtel.ru] has joined #scheme 16:36:25 -!- ijp` is now known as ijp 16:40:29 HG` [~HG@dsbg-d9bb187b.pool.mediaWays.net] has joined #scheme 16:41:22 -!- HG` [~HG@dsbg-d9bb187b.pool.mediaWays.net] has quit [Client Quit] 16:48:03 -!- choas [~lars@p5795CD39.dip.t-dialin.net] has quit [Ping timeout: 240 seconds] 16:48:16 vjacob [~vjacob@94-195-174-165.zone9.bethere.co.uk] has joined #scheme 17:01:31 EmmanuelOga [~emmanuel@190.244.15.195] has joined #scheme 17:18:08 choas [~lars@p5795CD39.dip.t-dialin.net] has joined #scheme 17:19:05 realitygrill [~realitygr@76.226.139.212] has joined #scheme 17:32:29 -!- wingo [~wingo@90.164.198.39] has quit [Ping timeout: 240 seconds] 17:37:14 _schulte_ [~eschulte@c-174-56-1-147.hsd1.nm.comcast.net] has joined #scheme 17:39:20 -!- amoe [~amoe@host-2-96-227-151.as13285.net] has quit [Ping timeout: 240 seconds] 17:40:53 jonrafkind [~jon@jonr5.dsl.xmission.com] has joined #scheme 17:41:35 amoe [~amoe@host-92-26-166-153.as13285.net] has joined #scheme 17:54:31 brendyn [~brendyn@123-2-73-61.static.dsl.dodo.com.au] has joined #scheme 18:04:38 -!- confab [~confab@c-71-193-9-153.hsd1.ca.comcast.net] has quit [Ping timeout: 240 seconds] 18:05:38 -!- ahinki [~chatzilla@AAmiens-551-1-105-8.w92-147.abo.wanadoo.fr] has quit [Ping timeout: 240 seconds] 18:08:55 confab [~confab@c-71-193-9-153.hsd1.ca.comcast.net] has joined #scheme 18:11:01 jewel [~jewel@196-215-117-46.dynamic.isadsl.co.za] has joined #scheme 18:12:58 X-Scale [email@sgi-ultra64.broker.freenet6.net] has joined #scheme 18:19:35 -!- realitygrill [~realitygr@76.226.139.212] has quit [Read error: Connection reset by peer] 18:19:38 -!- tom_i [~thomasing@ingserv.demon.co.uk] has quit [Ping timeout: 240 seconds] 18:19:56 realitygrill [~realitygr@76.226.139.212] has joined #scheme 18:24:09 pjb- [~t@81.202.16.46.dyn.user.ono.com] has joined #scheme 18:26:04 alexshendi [~wircer@dslb-178-010-027-107.pools.arcor-ip.net] has joined #scheme 18:28:41 -!- alexshendi [~wircer@dslb-178-010-027-107.pools.arcor-ip.net] has left #scheme 18:29:48 -!- realitygrill [~realitygr@76.226.139.212] has quit [Read error: Connection reset by peer] 18:29:59 realitygrill [~realitygr@76.226.139.212] has joined #scheme 18:34:37 -!- realitygrill [~realitygr@76.226.139.212] has quit [Read error: Connection reset by peer] 18:35:01 realitygrill [~realitygr@76.226.139.212] has joined #scheme 18:35:03 -!- dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has quit [Ping timeout: 252 seconds] 18:46:39 -!- realitygrill [~realitygr@76.226.139.212] has quit [Read error: Connection reset by peer] 18:46:55 realitygrill [~realitygr@adsl-76-226-139-212.dsl.sfldmi.sbcglobal.net] has joined #scheme 18:50:20 dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has joined #scheme 18:50:35 -!- pjb- [~t@81.202.16.46.dyn.user.ono.com] has quit [Ping timeout: 240 seconds] 18:50:45 rddfn [~rdd@c83-250-153-128.bredband.comhem.se] has joined #scheme 18:51:14 -!- rddfn is now known as rdd 18:59:23 -!- tupi [~david@189.119.81.219] has quit [Quit: Leaving] 19:11:14 haze__ [~Peter@vpn0014.extern.uni-tuebingen.de] has joined #scheme 19:16:19 haze___ [~Peter@vpn0012.extern.uni-tuebingen.de] has joined #scheme 19:19:53 -!- haze__ [~Peter@vpn0014.extern.uni-tuebingen.de] has quit [Ping timeout: 252 seconds] 19:20:53 -!- leo2007 [~leo@123.123.251.229] has quit [Ping timeout: 248 seconds] 19:22:46 jt123: (^ x 0) is not 0. 19:22:59 For cases where x != 0, (^ x 0) is 1. 19:23:21 Now, (^ 0 x) is 0, unless x is 0. 19:24:06 rudybot: eval (expt 0 0) 19:24:07 ski: ; Value: 1 19:24:22 ski: Yes, most computing systems define 0 ^ 0 as 1. 19:24:30 ski: That doesn't mean it's somehow mathematically correct. :-) 19:24:36 rudybot: eval (expt (exact->inexact 0) (exact->inexact 0)) 19:24:36 ski: ; Value: 1.0 19:24:38 But it does simplify many calculations. 19:24:49 cky : it is, at least for discrete purposes 19:24:52 Right. 19:25:06 (there is exactly one function from the empty set to itself) 19:26:08 (more generally, the empty set is an initial object in the category of sets) 19:26:30 *nods* 19:27:12 -!- gravicappa [~gravicapp@h178-129-93-49.dyn.bashtel.ru] has quit [Remote host closed the connection] 19:28:35 gravicappa [~gravicapp@h178-129-93-49.dyn.bashtel.ru] has joined #scheme 19:28:40 -!- gravicappa [~gravicapp@h178-129-93-49.dyn.bashtel.ru] has quit [Remote host closed the connection] 19:30:13 samth [~samth@punge.ccs.neu.edu] has joined #scheme 19:31:10 tom_i [~thomasing@ingserv.demon.co.uk] has joined #scheme 19:32:32 -!- haze___ [~Peter@vpn0012.extern.uni-tuebingen.de] has quit [Ping timeout: 252 seconds] 19:39:34 cky: yes i meant 1 not 0 :) 19:44:40 -!- tali713 [~tali713@c-75-72-193-140.hsd1.mn.comcast.net] has quit [Quit: ZNC - http://znc.sourceforge.net] 19:54:29 -!- markski1beck [~markskilb@host86-137-39-60.range86-137.btcentralplus.com] has quit [Quit: Leaving] 20:02:46 phax [~phax@cpc14-haye17-2-0-cust110.haye.cable.virginmedia.com] has joined #scheme 20:02:46 -!- phax [~phax@cpc14-haye17-2-0-cust110.haye.cable.virginmedia.com] has quit [Changing host] 20:02:46 phax [~phax@unaffiliated/phax] has joined #scheme 20:07:30 jrslepak [~jrslepak@c-71-233-151-135.hsd1.ma.comcast.net] has joined #scheme 20:07:35 -!- phax [~phax@unaffiliated/phax] has quit [Client Quit] 20:10:49 -!- tom_i [~thomasing@ingserv.demon.co.uk] has quit [Ping timeout: 276 seconds] 20:14:35 -!- jewel [~jewel@196-215-117-46.dynamic.isadsl.co.za] has quit [Ping timeout: 240 seconds] 20:26:44 -!- pothos [~pothos@114-36-226-184.dynamic.hinet.net] has quit [Read error: Connection reset by peer] 20:28:29 pothos [~pothos@114-36-234-3.dynamic.hinet.net] has joined #scheme 20:31:16 -!- pothos [~pothos@114-36-234-3.dynamic.hinet.net] has quit [Read error: Connection reset by peer] 20:31:28 kudkudyak [~sun@94.72.160.99] has joined #scheme 20:31:36 pothos [~pothos@114-36-234-3.dynamic.hinet.net] has joined #scheme 20:34:13 -!- pothos [~pothos@114-36-234-3.dynamic.hinet.net] has quit [Read error: Connection reset by peer] 20:34:32 pothos [~pothos@114-36-234-3.dynamic.hinet.net] has joined #scheme 20:48:12 tom_i [~thomasing@ingserv.demon.co.uk] has joined #scheme 21:01:21 -!- thorwil [~thorwil@p5B3DD249.dip.t-dialin.net] has quit [Quit: Leaving] 21:01:52 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Read error: Operation timed out] 21:02:04 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 21:02:38 -!- tom_i [~thomasing@ingserv.demon.co.uk] has quit [Ping timeout: 240 seconds] 21:17:02 -!- Blkt [~user@82.84.135.7] has quit [Ping timeout: 252 seconds] 21:21:08 adu [~ajr@64.134.96.11] has joined #scheme 21:23:44 -!- arthurmaciel [~user@186.204.126.4] has quit [Ping timeout: 240 seconds] 21:23:57 -!- Euthy [~euthy@unaffiliated/euthydemus] has quit [Quit: leaving] 21:35:22 -!- vjacob [~vjacob@94-195-174-165.zone9.bethere.co.uk] has quit [Quit: Leaving] 21:35:53 -!- rockydogy [6c5a7e3b@gateway/web/freenode/ip.108.90.126.59] has quit [Ping timeout: 258 seconds] 21:47:11 turbofail [~user@99-121-57-65.lightspeed.sntcca.sbcglobal.net] has joined #scheme 21:47:58 add^_ [~add^_^@m90-141-46-62.cust.tele2.se] has joined #scheme 21:55:15 -!- ThePawnBreak [~quassel@94.177.108.25] has quit [Ping timeout: 240 seconds] 21:55:28 -!- realitygrill [~realitygr@adsl-76-226-139-212.dsl.sfldmi.sbcglobal.net] has quit [Read error: Connection reset by peer] 21:55:41 realitygrill [~realitygr@adsl-76-226-139-212.dsl.sfldmi.sbcglobal.net] has joined #scheme 21:56:12 -!- add^_ [~add^_^@m90-141-46-62.cust.tele2.se] has quit [Quit: add^_] 21:58:10 realitygrill_ [~realitygr@adsl-76-226-139-212.dsl.sfldmi.sbcglobal.net] has joined #scheme 21:58:12 -!- realitygrill [~realitygr@adsl-76-226-139-212.dsl.sfldmi.sbcglobal.net] has quit [Read error: Connection reset by peer] 21:58:12 -!- realitygrill_ is now known as realitygrill 22:06:49 -!- otakutomo [~otakutomo@KD027083117212.ppp-bb.dion.ne.jp] has quit [Ping timeout: 240 seconds] 22:10:37 -!- EmmanuelOga [~emmanuel@190.244.15.195] has quit [Quit: WeeChat 0.3.7-dev] 22:18:43 -!- copumpkin [~copumpkin@unaffiliated/pumpkingod] has quit [Quit: Computer has gone to sleep.] 22:30:09 tali713 [~user@c-76-17-236-129.hsd1.mn.comcast.net] has joined #scheme 22:33:02 -!- adu [~ajr@64.134.96.11] has quit [Quit: adu] 22:34:33 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has left #scheme 22:34:48 jao [~user@pdpc/supporter/professional/jao] has joined #scheme 22:34:53 -!- choas [~lars@p5795CD39.dip.t-dialin.net] has quit [Ping timeout: 255 seconds] 22:38:16 wingo [~wingo@90.164.198.39] has joined #scheme 22:38:47 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 252 seconds] 22:40:38 -!- karswell [~coat@93-97-29-243.zone5.bethere.co.uk] has quit [Ping timeout: 252 seconds] 22:42:41 leo2007 [~leo@114.247.10.74] has joined #scheme 22:43:22 copumpkin [~copumpkin@unaffiliated/pumpkingod] has joined #scheme 22:45:09 tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has joined #scheme 22:46:57 otakutomo [~otakutomo@KD027083117212.ppp-bb.dion.ne.jp] has joined #scheme 22:48:31 arthurmaciel [~user@186.204.126.4] has joined #scheme 23:02:27 phax [~phax@cpc14-haye17-2-0-cust110.haye.cable.virginmedia.com] has joined #scheme 23:02:28 -!- phax [~phax@cpc14-haye17-2-0-cust110.haye.cable.virginmedia.com] has quit [Changing host] 23:02:28 phax [~phax@unaffiliated/phax] has joined #scheme 23:06:40 has anyone tried arc? 23:08:29 -!- fbs [fbs@fsf/member/fbs] has quit [Ping timeout: 252 seconds] 23:11:10 I think there's an #arc channel  might be a better place to find those that tried. 23:16:43 thank you, antoszka 23:24:24 fbs [fbs@fsf/member/fbs] has joined #scheme 23:27:09 -!- mmc1 [~michal@178-85-131-65.dynamic.upc.nl] has quit [Ping timeout: 240 seconds] 23:29:06 otakutom_ [~otakutomo@KD027083117212.ppp-bb.dion.ne.jp] has joined #scheme 23:29:24 -!- otakutomo [~otakutomo@KD027083117212.ppp-bb.dion.ne.jp] has quit [Ping timeout: 244 seconds] 23:31:37 -!- kanru [~kanru@kanru-1-pt.tunnel.tserv15.lax1.ipv6.he.net] has quit [Read error: Operation timed out] 23:33:01 -!- fbs [fbs@fsf/member/fbs] has quit [Ping timeout: 244 seconds] 23:41:07 hm.. could anyone explain me why racket is not scheme anymore? 23:44:38 DarkUranium [~DarkUran@93-103-169-123.dynamic.t-2.net] has joined #scheme 23:45:16 hey there 23:45:19 any TinyScheme users here? 23:46:53 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Remote host closed the connection] 23:47:45 arthurmaciel: It _is_ Scheme. It also implements much more than "just" Scheme. 23:50:39 arthurmaciel: see: http://racket-lang.org/new-name.html 23:52:15 -!- tali713 [~user@c-76-17-236-129.hsd1.mn.comcast.net] has quit [Ping timeout: 240 seconds] 23:54:08 -!- otakutom_ [~otakutomo@KD027083117212.ppp-bb.dion.ne.jp] has quit [Ping timeout: 240 seconds] 23:55:03 -!- djcb [~user@a88-114-95-13.elisa-laajakaista.fi] has quit [Ping timeout: 240 seconds] 23:56:09 fbs [fbs@fsf/member/fbs] has joined #scheme 23:56:42 -!- leo2007 [~leo@114.247.10.74] has quit [Read error: Connection reset by peer] 23:58:08 otakutomo [~otakutomo@KD027083117212.ppp-bb.dion.ne.jp] has joined #scheme 23:59:17 -!- MrFahrenheit [~RageOfTho@users-38-222.vinet.ba] has quit [Ping timeout: 252 seconds]