2015-12-21T00:01:12Z n_blownapart: well, what I'm expecting is that (= x 0) resolves to #t , 0 is returned, and (p) is not evaluated at all. that is the best way I can explain my expectations. 2015-12-21T00:08:44Z greghendershott_ quit 2015-12-21T00:09:06Z spew joined #scheme 2015-12-21T00:09:16Z greghendershott joined #scheme 2015-12-21T00:10:14Z pierpa: in the applicative order evaluator (p) is evaluated before reaching he cnditional 2015-12-21T00:11:11Z ASau joined #scheme 2015-12-21T00:11:34Z pierpa: so, (= x 0) is never reached 2015-12-21T00:12:29Z pierpa: (I don't remember the details of how SICP explains this, but I'm sure it exaplains it well) 2015-12-21T00:16:41Z n_blownapart: pierpa, thanks kindly, I will look at that. I had the opposite belief. 2015-12-21T00:16:58Z Mokuso quit (Ping timeout: 256 seconds) 2015-12-21T00:17:13Z leb joined #scheme 2015-12-21T00:20:26Z pera quit (Ping timeout: 240 seconds) 2015-12-21T00:21:22Z bb010g joined #scheme 2015-12-21T00:22:21Z Mokuso joined #scheme 2015-12-21T00:22:45Z stepnem quit (Ping timeout: 260 seconds) 2015-12-21T00:23:30Z haasn quit (Quit: haasn) 2015-12-21T00:28:35Z assember joined #scheme 2015-12-21T00:32:13Z haasn joined #scheme 2015-12-21T00:53:54Z pera joined #scheme 2015-12-21T00:55:13Z badkins quit (Remote host closed the connection) 2015-12-21T00:55:36Z Beluki joined #scheme 2015-12-21T01:14:37Z n_blownapart quit (Ping timeout: 265 seconds) 2015-12-21T01:14:46Z Guest20297 quit (Ping timeout: 256 seconds) 2015-12-21T01:20:56Z Beluki quit (Quit: Beluki) 2015-12-21T01:36:05Z wildlander quit (Quit: Saliendo) 2015-12-21T01:36:51Z pera quit (Ping timeout: 265 seconds) 2015-12-21T01:37:11Z mwnaylor joined #scheme 2015-12-21T01:41:47Z ddp quit (Quit: ddp) 2015-12-21T01:52:58Z sethalves joined #scheme 2015-12-21T01:55:00Z profess quit (Ping timeout: 256 seconds) 2015-12-21T01:58:25Z Fare quit (Ping timeout: 260 seconds) 2015-12-21T01:59:01Z profess joined #scheme 2015-12-21T01:59:35Z drdo joined #scheme 2015-12-21T02:15:45Z mwnaylor left #scheme 2015-12-21T02:19:00Z aap_ joined #scheme 2015-12-21T02:21:55Z aap quit (Ping timeout: 240 seconds) 2015-12-21T02:27:17Z turtleman_ quit (Quit: Leaving) 2015-12-21T02:41:44Z Fare joined #scheme 2015-12-21T02:41:48Z leb quit (Read error: Connection reset by peer) 2015-12-21T02:44:32Z cemerick joined #scheme 2015-12-21T02:51:00Z assember quit 2015-12-21T02:54:09Z badkins joined #scheme 2015-12-21T02:58:26Z badkins quit (Ping timeout: 246 seconds) 2015-12-21T02:59:52Z spew quit (Quit: leaving) 2015-12-21T03:00:25Z pilne quit (Quit: Quitting) 2015-12-21T03:01:20Z magine joined #scheme 2015-12-21T03:42:32Z cemerick quit (Ping timeout: 246 seconds) 2015-12-21T03:43:35Z dmiles_afk joined #scheme 2015-12-21T03:44:24Z emacsomancer joined #scheme 2015-12-21T03:45:11Z ArneBab joined #scheme 2015-12-21T03:47:49Z cemerick joined #scheme 2015-12-21T03:48:20Z ArneBab_ quit (Ping timeout: 256 seconds) 2015-12-21T03:48:47Z mbuf joined #scheme 2015-12-21T03:51:38Z AkashicLegend joined #scheme 2015-12-21T04:00:55Z cemerick quit (Ping timeout: 260 seconds) 2015-12-21T04:16:09Z pera joined #scheme 2015-12-21T04:21:30Z karswell quit (Remote host closed the connection) 2015-12-21T04:34:00Z Menche quit (Quit: Leaving) 2015-12-21T04:44:12Z duggiefresh joined #scheme 2015-12-21T04:51:05Z pierpa quit (Ping timeout: 260 seconds) 2015-12-21T05:10:02Z Menche joined #scheme 2015-12-21T05:11:08Z leppie quit (Ping timeout: 250 seconds) 2015-12-21T05:12:08Z lambda-11235 joined #scheme 2015-12-21T05:15:31Z leppie joined #scheme 2015-12-21T05:35:04Z oleo_ quit (Remote host closed the connection) 2015-12-21T05:43:14Z Riastradh quit (Ping timeout: 272 seconds) 2015-12-21T05:45:41Z mrowe is now known as mrowe_away 2015-12-21T05:58:59Z pera quit (Remote host closed the connection) 2015-12-21T06:00:44Z jsgrant joined #scheme 2015-12-21T06:02:38Z jsgrant is now known as jsgrant_ 2015-12-21T06:05:35Z Menche quit (Ping timeout: 265 seconds) 2015-12-21T06:06:34Z Menche joined #scheme 2015-12-21T06:09:50Z jsgrant_ quit (Ping timeout: 272 seconds) 2015-12-21T06:13:59Z jsgrant joined #scheme 2015-12-21T06:15:53Z jsgrant is now known as jsgrant_ 2015-12-21T06:16:07Z Niac joined #scheme 2015-12-21T06:32:36Z Niac quit (Ping timeout: 250 seconds) 2015-12-21T06:33:17Z Niac joined #scheme 2015-12-21T06:34:28Z duggiefresh quit (Remote host closed the connection) 2015-12-21T06:35:10Z duggiefresh joined #scheme 2015-12-21T06:35:29Z duggiefresh quit (Remote host closed the connection) 2015-12-21T06:36:02Z duggiefresh joined #scheme 2015-12-21T06:40:52Z duggiefresh quit (Ping timeout: 272 seconds) 2015-12-21T06:43:16Z jsgrant_ quit (Read error: No route to host) 2015-12-21T06:43:52Z Mokuso quit (Ping timeout: 250 seconds) 2015-12-21T06:47:10Z Fare quit (Ping timeout: 260 seconds) 2015-12-21T06:54:08Z Niac quit (Ping timeout: 255 seconds) 2015-12-21T06:54:51Z Niac joined #scheme 2015-12-21T06:55:03Z ecthiender joined #scheme 2015-12-21T07:09:43Z amz3 quit (Quit: WeeChat 1.3) 2015-12-21T07:10:55Z ecthiender quit (Quit: gotta go) 2015-12-21T07:13:42Z nilg joined #scheme 2015-12-21T07:21:42Z AkashicLegend quit (Quit: pow) 2015-12-21T07:37:02Z alezost joined #scheme 2015-12-21T07:38:24Z lambda-11235 quit (Quit: Bye) 2015-12-21T08:20:15Z sz0 quit (Quit: Bye.) 2015-12-21T08:26:09Z lritter joined #scheme 2015-12-21T08:36:19Z Steverman joined #scheme 2015-12-21T09:01:00Z nanoz joined #scheme 2015-12-21T09:09:16Z ggole joined #scheme 2015-12-21T09:10:43Z igajsin1 joined #scheme 2015-12-21T09:11:54Z alezost quit (Ping timeout: 256 seconds) 2015-12-21T09:26:08Z stepnem joined #scheme 2015-12-21T09:31:10Z ASau quit (Ping timeout: 256 seconds) 2015-12-21T09:33:11Z lolisa joined #scheme 2015-12-21T09:41:49Z dTal_ joined #scheme 2015-12-21T09:41:53Z lloda` joined #scheme 2015-12-21T09:43:47Z rudybot_ joined #scheme 2015-12-21T09:45:00Z zbigniew_ joined #scheme 2015-12-21T09:45:15Z fgudin_ joined #scheme 2015-12-21T09:45:18Z asumu_ joined #scheme 2015-12-21T09:45:21Z XTL_ joined #scheme 2015-12-21T09:45:34Z larion_ joined #scheme 2015-12-21T09:45:41Z choas_ joined #scheme 2015-12-21T09:45:46Z profan_ joined #scheme 2015-12-21T09:45:46Z eagleflo_ joined #scheme 2015-12-21T09:45:51Z dbohdan_ joined #scheme 2015-12-21T09:46:06Z fadein_ joined #scheme 2015-12-21T09:47:16Z szgyg joined #scheme 2015-12-21T09:48:51Z diginet_ joined #scheme 2015-12-21T09:49:10Z narendraj9_ joined #scheme 2015-12-21T09:49:35Z ecraven- joined #scheme 2015-12-21T09:49:55Z GGMethos quit (*.net *.split) 2015-12-21T09:49:55Z profan quit (*.net *.split) 2015-12-21T09:49:56Z metaf5 quit (*.net *.split) 2015-12-21T09:49:56Z dbohdan quit (*.net *.split) 2015-12-21T09:49:56Z fgudin quit (*.net *.split) 2015-12-21T09:49:56Z choas quit (*.net *.split) 2015-12-21T09:49:56Z fadein quit (*.net *.split) 2015-12-21T09:49:56Z shardz quit (*.net *.split) 2015-12-21T09:49:57Z cantstanya quit (*.net *.split) 2015-12-21T09:49:57Z lloda quit (*.net *.split) 2015-12-21T09:49:57Z zbigniew quit (*.net *.split) 2015-12-21T09:49:58Z ecraven quit (*.net *.split) 2015-12-21T09:49:58Z larion quit (*.net *.split) 2015-12-21T09:49:59Z eagleflo quit (*.net *.split) 2015-12-21T09:49:59Z Tenhi_ quit (*.net *.split) 2015-12-21T09:49:59Z XTL quit (*.net *.split) 2015-12-21T09:49:59Z diginet quit (*.net *.split) 2015-12-21T09:49:59Z CustosL1men quit (*.net *.split) 2015-12-21T09:50:00Z dTal quit (*.net *.split) 2015-12-21T09:50:00Z narendraj9 quit (*.net *.split) 2015-12-21T09:50:00Z asumu quit (*.net *.split) 2015-12-21T09:50:01Z keemyb quit (*.net *.split) 2015-12-21T09:50:01Z dan64 quit (*.net *.split) 2015-12-21T09:50:01Z rudybot quit (*.net *.split) 2015-12-21T09:50:02Z narendraj9_ is now known as narendraj9 2015-12-21T09:50:07Z fgudin_ is now known as fgudin 2015-12-21T09:50:09Z ecraven- is now known as ecraven 2015-12-21T09:51:02Z Tenhi_0 joined #scheme 2015-12-21T09:52:26Z dan64 joined #scheme 2015-12-21T09:52:51Z CustosL1men joined #scheme 2015-12-21T09:52:54Z mmos joined #scheme 2015-12-21T09:53:44Z hiroakip joined #scheme 2015-12-21T09:54:16Z keemyb joined #scheme 2015-12-21T09:56:31Z shardz joined #scheme 2015-12-21T09:57:34Z cantstanya joined #scheme 2015-12-21T09:57:43Z metaf5 joined #scheme 2015-12-21T09:58:26Z tessier_ joined #scheme 2015-12-21T09:58:44Z GGMethos joined #scheme 2015-12-21T09:58:55Z emma_ joined #scheme 2015-12-21T09:59:55Z copec_ joined #scheme 2015-12-21T10:02:17Z rudybot__ joined #scheme 2015-12-21T10:02:39Z zacts_ joined #scheme 2015-12-21T10:03:10Z akkad_ joined #scheme 2015-12-21T10:04:10Z x5eb joined #scheme 2015-12-21T10:04:51Z chu_ joined #scheme 2015-12-21T10:05:17Z Tenhi_0 is now known as Tenhi_ 2015-12-21T10:06:18Z mrowez joined #scheme 2015-12-21T10:08:21Z ndancer joined #scheme 2015-12-21T10:08:44Z ndancer is now known as Guest62138 2015-12-21T10:10:58Z ecthiender joined #scheme 2015-12-21T10:12:01Z ecthiender quit (Read error: Connection reset by peer) 2015-12-21T10:12:08Z XTL_ quit (*.net *.split) 2015-12-21T10:12:08Z rudybot_ quit (*.net *.split) 2015-12-21T10:12:10Z acarrico quit (*.net *.split) 2015-12-21T10:12:10Z \var quit (*.net *.split) 2015-12-21T10:12:11Z _0x5eb_ quit (*.net *.split) 2015-12-21T10:12:11Z tessier quit (*.net *.split) 2015-12-21T10:12:11Z akkad quit (*.net *.split) 2015-12-21T10:12:12Z copec quit (*.net *.split) 2015-12-21T10:12:13Z emma quit (*.net *.split) 2015-12-21T10:12:13Z mrowe_away quit (*.net *.split) 2015-12-21T10:12:14Z chu quit (*.net *.split) 2015-12-21T10:12:14Z joast quit (*.net *.split) 2015-12-21T10:12:14Z Guest98078 quit (*.net *.split) 2015-12-21T10:12:15Z Kruppe quit (*.net *.split) 2015-12-21T10:12:16Z zacts quit (*.net *.split) 2015-12-21T10:12:17Z tm512 quit (*.net *.split) 2015-12-21T10:12:18Z x5eb is now known as _0x5eb_ 2015-12-21T10:12:20Z copec_ is now known as copec 2015-12-21T10:13:29Z \var joined #scheme 2015-12-21T10:15:48Z XTL joined #scheme 2015-12-21T10:21:19Z ecthiender joined #scheme 2015-12-21T10:39:38Z alezost joined #scheme 2015-12-21T10:41:07Z ecthiender quit (Quit: gotta go) 2015-12-21T10:44:38Z Steverman quit (Ping timeout: 246 seconds) 2015-12-21T11:01:06Z daviid joined #scheme 2015-12-21T11:04:26Z Beluki joined #scheme 2015-12-21T11:08:17Z magine quit (Remote host closed the connection) 2015-12-21T11:10:52Z micmus joined #scheme 2015-12-21T11:25:26Z taylan quit (Remote host closed the connection) 2015-12-21T11:28:03Z turbopape joined #scheme 2015-12-21T11:41:53Z emma_ is now known as emma 2015-12-21T11:52:50Z karswell joined #scheme 2015-12-21T12:00:56Z Niac quit (Ping timeout: 246 seconds) 2015-12-21T12:04:26Z Niac joined #scheme 2015-12-21T12:09:04Z asumu_ is now known as asumu 2015-12-21T12:26:58Z turbopape quit (Remote host closed the connection) 2015-12-21T12:37:38Z micmus quit (Ping timeout: 276 seconds) 2015-12-21T12:53:51Z Mokuso joined #scheme 2015-12-21T12:55:48Z tumdum joined #scheme 2015-12-21T13:00:55Z badkins joined #scheme 2015-12-21T13:04:02Z alezost quit (Quit: I live in GuixSD and Emacs ) 2015-12-21T13:07:07Z davexunit joined #scheme 2015-12-21T13:14:59Z cemerick joined #scheme 2015-12-21T13:20:37Z civodul joined #scheme 2015-12-21T13:22:29Z cemerick quit (Ping timeout: 246 seconds) 2015-12-21T13:22:51Z mbuf quit (Quit: Ex-Chat) 2015-12-21T13:37:32Z lolisa quit (Ping timeout: 246 seconds) 2015-12-21T13:37:48Z spew joined #scheme 2015-12-21T13:42:54Z TwoNotes joined #scheme 2015-12-21T13:49:43Z cemerick joined #scheme 2015-12-21T13:50:28Z Fare joined #scheme 2015-12-21T14:07:34Z pierpa joined #scheme 2015-12-21T14:14:51Z TwoNotes left #scheme 2015-12-21T14:21:57Z zdm joined #scheme 2015-12-21T14:22:53Z rudybot__ is now known as rudybot 2015-12-21T14:35:09Z developernotes joined #scheme 2015-12-21T14:41:31Z nzambe joined #scheme 2015-12-21T14:45:30Z seg quit (Quit: kuwabara kuwabara) 2015-12-21T14:45:56Z seg joined #scheme 2015-12-21T14:52:09Z joast joined #scheme 2015-12-21T14:59:54Z zacts_ quit (Quit: leaving) 2015-12-21T15:01:08Z developernotes quit (Quit: Textual IRC Client: www.textualapp.com) 2015-12-21T15:01:24Z developernotes joined #scheme 2015-12-21T15:01:26Z marcoecc quit (Ping timeout: 240 seconds) 2015-12-21T15:09:30Z micmus joined #scheme 2015-12-21T15:09:30Z Kruppe joined #scheme 2015-12-21T15:09:30Z tm512 joined #scheme 2015-12-21T15:10:19Z oleo joined #scheme 2015-12-21T15:10:20Z oleo quit (Changing host) 2015-12-21T15:10:20Z oleo joined #scheme 2015-12-21T15:13:05Z jcowan joined #scheme 2015-12-21T15:15:46Z marcoecc joined #scheme 2015-12-21T15:18:07Z aap_ is now known as aap 2015-12-21T15:23:16Z emma quit (Remote host closed the connection) 2015-12-21T15:23:52Z Beluki quit (Quit: Beluki) 2015-12-21T15:28:36Z oleo quit (Remote host closed the connection) 2015-12-21T15:30:47Z oleo joined #scheme 2015-12-21T15:30:47Z oleo quit (Changing host) 2015-12-21T15:30:47Z oleo joined #scheme 2015-12-21T15:32:35Z Fare quit (Ping timeout: 240 seconds) 2015-12-21T15:39:02Z mmos quit (Ping timeout: 250 seconds) 2015-12-21T15:47:12Z Niac quit (Quit: leaving) 2015-12-21T15:49:16Z developernotes quit (Quit: Textual IRC Client: www.textualapp.com) 2015-12-21T15:55:30Z jcowan_ joined #scheme 2015-12-21T15:57:06Z jcowan quit (Ping timeout: 240 seconds) 2015-12-21T15:59:41Z eMBee quit (Remote host closed the connection) 2015-12-21T16:08:49Z jcowan_ is now known as jcowan 2015-12-21T16:09:15Z karswell quit (Read error: Connection reset by peer) 2015-12-21T16:09:28Z karswell joined #scheme 2015-12-21T16:12:40Z eMBee joined #scheme 2015-12-21T16:13:48Z mutbuerger joined #scheme 2015-12-21T16:15:42Z lambda-11235 joined #scheme 2015-12-21T16:23:56Z sethalves quit (Remote host closed the connection) 2015-12-21T16:24:45Z nanoz quit (Quit: <3) 2015-12-21T16:25:11Z DGASAU quit (Ping timeout: 246 seconds) 2015-12-21T16:26:14Z Mokuso quit (Quit: EOF) 2015-12-21T16:28:35Z DGASAU joined #scheme 2015-12-21T16:28:57Z badkins quit (Read error: Connection reset by peer) 2015-12-21T16:32:02Z duggiefresh joined #scheme 2015-12-21T16:33:20Z jcowan_ joined #scheme 2015-12-21T16:34:20Z hiroakip quit (Ping timeout: 245 seconds) 2015-12-21T16:34:58Z Riastradh joined #scheme 2015-12-21T16:36:50Z jcowan quit (Ping timeout: 276 seconds) 2015-12-21T16:37:16Z jcowan_ quit (Client Quit) 2015-12-21T16:49:00Z zdm quit (Quit: = "") 2015-12-21T16:52:56Z psy_ joined #scheme 2015-12-21T16:53:25Z psy_ quit (Max SendQ exceeded) 2015-12-21T16:54:02Z psy_ joined #scheme 2015-12-21T17:03:47Z Riastradh quit (Ping timeout: 264 seconds) 2015-12-21T17:07:35Z lolisa joined #scheme 2015-12-21T17:16:36Z jcowan joined #scheme 2015-12-21T17:26:18Z badkins joined #scheme 2015-12-21T17:27:16Z luxbock joined #scheme 2015-12-21T17:32:46Z duggiefresh quit (Remote host closed the connection) 2015-12-21T17:37:46Z cemerick quit (Ping timeout: 250 seconds) 2015-12-21T17:38:16Z DGASAU quit (Ping timeout: 272 seconds) 2015-12-21T17:39:56Z DGASAU joined #scheme 2015-12-21T17:42:13Z turbopape joined #scheme 2015-12-21T17:44:56Z dbohdan_ is now known as dbohdan 2015-12-21T17:47:57Z psy_ quit (Remote host closed the connection) 2015-12-21T17:48:45Z pilne joined #scheme 2015-12-21T17:54:52Z mmos joined #scheme 2015-12-21T18:09:46Z igajsin1 quit (Quit: Leaving.) 2015-12-21T18:11:06Z turbopape quit (Quit: Quitte) 2015-12-21T18:13:54Z duggiefresh joined #scheme 2015-12-21T18:16:44Z akkad_ is now known as akkad 2015-12-21T18:17:06Z gravicappa joined #scheme 2015-12-21T18:18:39Z fadein_ is now known as fadein 2015-12-21T18:23:43Z lolisa quit (Quit: meow) 2015-12-21T18:36:05Z cdidd quit (Ping timeout: 246 seconds) 2015-12-21T18:47:14Z mmc joined #scheme 2015-12-21T18:52:07Z sethalves joined #scheme 2015-12-21T18:54:59Z daviid quit (Ping timeout: 246 seconds) 2015-12-21T18:58:00Z duggiefresh quit (Remote host closed the connection) 2015-12-21T18:58:20Z Fare joined #scheme 2015-12-21T18:58:55Z emacsomancer quit (Remote host closed the connection) 2015-12-21T19:10:59Z zacts joined #scheme 2015-12-21T19:23:35Z gravicappa quit (Ping timeout: 240 seconds) 2015-12-21T19:36:15Z Riastradh joined #scheme 2015-12-21T20:04:35Z Fare quit (Ping timeout: 260 seconds) 2015-12-21T20:08:02Z Beluki joined #scheme 2015-12-21T20:12:29Z DGASAU quit (Read error: Connection reset by peer) 2015-12-21T20:18:00Z Riastradh quit (Ping timeout: 260 seconds) 2015-12-21T20:22:53Z cemerick joined #scheme 2015-12-21T20:37:35Z ggole quit 2015-12-21T20:39:33Z taylan joined #scheme 2015-12-21T20:56:13Z fadein quit (Read error: Connection reset by peer) 2015-12-21T20:56:41Z fadein joined #scheme 2015-12-21T20:58:59Z fadein quit (Read error: Connection reset by peer) 2015-12-21T21:01:42Z fadein joined #scheme 2015-12-21T21:21:00Z cibs quit (Ping timeout: 272 seconds) 2015-12-21T21:22:30Z cibs joined #scheme 2015-12-21T21:36:04Z Fare joined #scheme 2015-12-21T21:42:41Z neoncontrails joined #scheme 2015-12-21T21:57:46Z DGASAU joined #scheme 2015-12-21T22:05:53Z hiroakip joined #scheme 2015-12-21T22:09:25Z badkins quit (Read error: Connection reset by peer) 2015-12-21T22:11:33Z micmus quit (Quit: Leaving) 2015-12-21T22:13:18Z chu_ is now known as chu 2015-12-21T22:14:11Z cemerick quit (Ping timeout: 265 seconds) 2015-12-21T22:22:04Z ASau joined #scheme 2015-12-21T22:24:49Z mrowez is now known as mrowe 2015-12-21T22:27:29Z spew quit (Quit: leaving) 2015-12-21T22:30:47Z szgyg quit (Ping timeout: 264 seconds) 2015-12-21T22:42:49Z davexunit quit (Quit: Later) 2015-12-21T22:45:26Z foof quit (Ping timeout: 272 seconds) 2015-12-21T22:52:53Z badkins joined #scheme 2015-12-21T23:09:26Z hiroakip quit (Ping timeout: 240 seconds) 2015-12-21T23:29:22Z oleo_ joined #scheme 2015-12-21T23:31:46Z oleo quit (Ping timeout: 240 seconds) 2015-12-21T23:34:05Z civodul quit (Quit: ERC (IRC client for Emacs 24.5.1)) 2015-12-21T23:35:45Z jcowan_ joined #scheme 2015-12-21T23:39:20Z jcowan quit (Ping timeout: 276 seconds) 2015-12-21T23:44:26Z jcowan_ quit (Ping timeout: 240 seconds)