Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 570 571 572 573 574 575 576 577 578 579 580 .. 5022
— 502,152 events total
2020-10-11 12:08:25 × knupfer quits (~Thunderbi@200116b82cf0b100c44a35fcdccc5333.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-10-11 12:08:40 → pingiun joins (~pingiun@j63019.upc-j.chello.nl)
2020-10-11 12:12:25 → jedws joins (~jedws@121.209.161.98)
2020-10-11 12:14:17 → __monty__ joins (~toonn@unaffiliated/toonn)
2020-10-11 12:17:22 × daenth quits (~daenth@136.36.157.210) (Ping timeout: 256 seconds)
2020-10-11 12:17:23 × hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-11 12:18:54 → __ngua joins (~rory@2402:800:6379:81de:c01f:8864:9ffb:a477)
2020-10-11 12:19:18 × __ngua quits (~rory@2402:800:6379:81de:c01f:8864:9ffb:a477) (Remote host closed the connection)
2020-10-11 12:19:32 → hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-11 12:19:59 → __ngua joins (~rory@2402:800:6379:81de:c01f:8864:9ffb:a477)
2020-10-11 12:20:05 × __ngua quits (~rory@2402:800:6379:81de:c01f:8864:9ffb:a477) (Remote host closed the connection)
2020-10-11 12:20:19 → seanvert joins (~user@177.84.244.242)
2020-10-11 12:23:13 → __ngua joins (~rory@2402:800:6379:81de:c01f:8864:9ffb:a477)
2020-10-11 12:24:16 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-11 12:27:36 × __ngua quits (~rory@2402:800:6379:81de:c01f:8864:9ffb:a477) (Remote host closed the connection)
2020-10-11 12:27:57 → __ngua joins (~rory@2402:800:6379:81de:c01f:8864:9ffb:a477)
2020-10-11 12:28:27 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-11 12:30:02 teehemkay_ is now known as teehemkay
2020-10-11 12:30:16 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-11 12:30:18 → knupfer joins (~Thunderbi@200116b82cf0b10051bc6530a94acd18.dip.versatel-1u1.de)
2020-10-11 12:31:21 → hiroaki joins (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de)
2020-10-11 12:33:44 × m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Quit: WeeChat 2.7.1)
2020-10-11 12:37:44 × albert_91 quits (~Albert@p54baa3ee.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-11 12:37:55 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-11 12:39:35 → sand_dull joins (~theuser@104.140.53.43)
2020-10-11 12:41:37 × nyd quits (~lpy@unaffiliated/elysian) (Ping timeout: 264 seconds)
2020-10-11 12:44:00 → coot joins (~coot@78-10-221-32.static.ip.netia.com.pl)
2020-10-11 12:45:58 × sand_dull quits (~theuser@104.140.53.43) (Ping timeout: 260 seconds)
2020-10-11 12:46:58 → gienah joins (~mwright@gentoo/developer/gienah)
2020-10-11 12:47:20 → Dungdv joins (3abba8c1@gateway/web/cgi-irc/kiwiirc.com/ip.58.187.168.193)
2020-10-11 12:47:28 hackage unliftio-path 0.0.1.0 - UnliftIO using well-typed Paths. https://hackage.haskell.org/package/unliftio-path-0.0.1.0 (locallycompact)
2020-10-11 12:53:21 → snakemas1 joins (~snakemast@c83-254-232-167.bredband.comhem.se)
2020-10-11 12:55:56 × coot quits (~coot@78-10-221-32.static.ip.netia.com.pl) (Quit: coot)
2020-10-11 12:57:52 × snakemas1 quits (~snakemast@c83-254-232-167.bredband.comhem.se) (Ping timeout: 258 seconds)
2020-10-11 12:57:57 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2020-10-11 12:58:23 × polyrain quits (~polyrain@2001:8003:e501:6901:bd82:3610:25a3:1eac) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-11 13:00:08 × Dolly quits (585fc8fd@ti0203q160-3035.bb.online.no) (Remote host closed the connection)
2020-10-11 13:00:58 → nyd joins (~lpy@unaffiliated/elysian)
2020-10-11 13:02:12 × nursen quits (b028fb3d@176.40.251.61) (Remote host closed the connection)
2020-10-11 13:02:38 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 272 seconds)
2020-10-11 13:07:04 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-11 13:10:03 × renzhi quits (~renzhi@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 260 seconds)
2020-10-11 13:10:28 → machinedgod joins (~machinedg@24.105.81.50)
2020-10-11 13:10:40 × Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 246 seconds)
2020-10-11 13:12:20 × nyd quits (~lpy@unaffiliated/elysian) (Ping timeout: 256 seconds)
2020-10-11 13:13:58 hackage unliftio-path 0.0.2.0 - UnliftIO using well-typed Paths. https://hackage.haskell.org/package/unliftio-path-0.0.2.0 (locallycompact)
2020-10-11 13:14:07 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-11 13:15:28 hackage aeson-combinators 0.0.3.0 - Aeson combinators for dead simple JSON decoding https://hackage.haskell.org/package/aeson-combinators-0.0.3.0 (MarekFajkus)
2020-10-11 13:15:34 × alehander92_ quits (sid331460@gateway/web/irccloud.com/x-irhogbomtyruxzho) (Quit: Connection closed for inactivity)
2020-10-11 13:15:49 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-11 13:19:01 → falafel joins (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-11 13:19:52 → avdb joins (~avdb@ip-83-134-31-215.dsl.scarlet.be)
2020-10-11 13:20:25 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-11 13:28:28 → mjevans- joins (~mjevans-@84.39.117.57)
2020-10-11 13:30:09 → coot joins (~coot@78-10-221-32.static.ip.netia.com.pl)
2020-10-11 13:30:26 → gnar^2 joins (~user@c-73-118-153-248.hsd1.wa.comcast.net)
2020-10-11 13:31:13 × avdb quits (~avdb@ip-83-134-31-215.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-10-11 13:32:25 × falafel quits (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 240 seconds)
2020-10-11 13:33:47 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-11 13:33:49 × OscarZ quits (~oscarz@95.175.104.52) (Quit: Leaving)
2020-10-11 13:34:33 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds)
2020-10-11 13:34:45 × gnar^2 quits (~user@c-73-118-153-248.hsd1.wa.comcast.net) (Ping timeout: 240 seconds)
2020-10-11 13:35:57 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-11 13:39:24 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-11 13:42:10 → mdunnio joins (~mdunnio@208.59.170.5)
2020-10-11 13:44:27 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-11 13:44:53 × drbean quits (~drbean@TC210-63-209-21.static.apol.com.tw) (Ping timeout: 265 seconds)
2020-10-11 13:45:37 × Alleria_ quits (~AllahuAkb@2604:2000:1484:26:d9b5:40ce:4a6a:3e0a) (Ping timeout: 260 seconds)
2020-10-11 13:45:46 × coot quits (~coot@78-10-221-32.static.ip.netia.com.pl) (Quit: coot)
2020-10-11 13:46:32 → m0rphism joins (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-10-11 13:47:31 → snakemas1 joins (~snakemast@c83-254-232-167.bredband.comhem.se)
2020-10-11 13:48:17 → nyd joins (~lpy@unaffiliated/elysian)
2020-10-11 13:49:25 → aarvar joins (~foewfoiew@50.35.43.33)
2020-10-11 13:51:37 → geekosaur joins (ae68c070@cpe-174-104-192-112.neo.res.rr.com)
2020-10-11 13:51:45 → Alleria_ joins (~AllahuAkb@2604:2000:1484:26:d9b5:40ce:4a6a:3e0a)
2020-10-11 13:51:47 × snakemas1 quits (~snakemast@c83-254-232-167.bredband.comhem.se) (Ping timeout: 240 seconds)
2020-10-11 13:56:51 → son0p joins (~son0p@181.136.122.143)
2020-10-11 13:58:48 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Quit: Lost terminal)
2020-10-11 13:59:31 → gnar^2 joins (~user@c-73-118-153-248.hsd1.wa.comcast.net)
2020-10-11 14:00:21 → da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
2020-10-11 14:01:18 → Buntspecht joins (~user@unaffiliated/siracusa)
2020-10-11 14:01:47 × djellemah quits (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 240 seconds)
2020-10-11 14:03:19 → coot joins (~coot@78-10-221-32.static.ip.netia.com.pl)
2020-10-11 14:03:47 → falafel joins (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-11 14:07:32 → DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-10-11 14:12:06 → fendor_ joins (~fendor@178.165.131.49.wireless.dyn.drei.com)
2020-10-11 14:12:27 × falafel quits (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 260 seconds)
2020-10-11 14:13:13 → urodna joins (~urodna@unaffiliated/urodna)
2020-10-11 14:13:20 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-11 14:13:42 → snakemas1 joins (~snakemast@c83-254-232-167.bredband.comhem.se)
2020-10-11 14:14:25 × fendor quits (~fendor@178.115.130.224.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2020-10-11 14:15:31 <dwts> quick question to all of you lambda wizards. Supposing we have this expression: (λx.x)(λy.y)z , are (λy.y) and z two arguments that λx accepts or is it that λx accepts one argument, λy which itself accepts another argument z ?
2020-10-11 14:16:32 <hpc> (λx.x) takes (λy.y), then the /result/ of that is what takes z
2020-10-11 14:16:42 <dwts> ok
2020-10-11 14:16:52 <dwts> so both x and y lambdas accept one argument
2020-10-11 14:18:52 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-11 14:24:42 <ski> yes
2020-10-11 14:26:32 <merijn> *all* lambdas accept only one argument
2020-10-11 14:27:01 <merijn> We just sometimes use syntactic short hand where we skip the boilerplate and write "as if" they took multiple
2020-10-11 14:27:57 <dwts> yeah, the book made that clear in the first pages that all lambdas accept only one argument, but the way it's written confused me to think that it accepts two
←Prev  Next→
Page 1 .. 570 571 572 573 574 575 576 577 578 579 580 .. 5022

All times are in UTC.