Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 58 59 60 61 62 63 64 65 66 67 68 .. 5022
502,152 events total
2020-09-18 23:52:24 × codygman quits (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Ping timeout: 260 seconds)
2020-09-18 23:52:39 codygman joins (~codygman@2600:380:f971:6858:ad76:4f29:a95d:d3ce)
2020-09-18 23:54:10 × jneira_ quits (~jneira@80.30.101.206) (Ping timeout: 272 seconds)
2020-09-18 23:54:46 × jud quits (~jud@unaffiliated/jud) (Read error: Connection reset by peer)
2020-09-18 23:54:55 jneira_ joins (~jneira@80.30.101.206)
2020-09-18 23:55:23 <DekuDekuplex> At this point, I guess I'll just see what happens and try logging back in here at approximately 1700 UTC or so.
2020-09-18 23:55:35 jud joins (~jud@unaffiliated/jud)
2020-09-18 23:56:18 <DekuDekuplex> Thanks! I'll see what happens now. I need to log off. See you later!
2020-09-18 23:57:23 × codygman quits (~codygman@2600:380:f971:6858:ad76:4f29:a95d:d3ce) (Read error: Connection reset by peer)
2020-09-18 23:57:26 gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-18 23:57:44 codygman joins (~codygman@47.190.47.120)
2020-09-18 23:59:05 × jneira_ quits (~jneira@80.30.101.206) (Ping timeout: 240 seconds)
2020-09-18 23:59:42 jneira_ joins (~jneira@38.red-193-152-116.dynamicip.rima-tde.net)
2020-09-19 00:00:02 × Bjarki quits (~Bjarki@178.162.204.238) ()
2020-09-19 00:01:35 <ski> DekuDekuplex : interesting
2020-09-19 00:01:45 × gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 240 seconds)
2020-09-19 00:02:37 × codygman quits (~codygman@47.190.47.120) (Ping timeout: 264 seconds)
2020-09-19 00:03:35 codygman joins (~codygman@2600:380:f971:6858:ad76:4f29:a95d:d3ce)
2020-09-19 00:03:36 × jneira_ quits (~jneira@38.red-193-152-116.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2020-09-19 00:04:40 × DekuDekuplex quits (~IceChat9@p7478089-ipngn34401marunouchi.tokyo.ocn.ne.jp) (Quit: Given the choice between you, I'll take the sea-sick crocodile.)
2020-09-19 00:04:41 × brettgilio quits (~brettgili@104.131.40.243) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2020-09-19 00:04:55 jneira_ joins (~jneira@80.30.101.206)
2020-09-19 00:04:56 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 00:05:16 justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-09-19 00:05:27 lateef joins (~lateef@cpe-174-109-67-227.nc.res.rr.com)
2020-09-19 00:07:26 × gienah quits (~mwright@gentoo/developer/gienah) (Read error: Connection reset by peer)
2020-09-19 00:07:30 brettgilio joins (~brettgili@brettgilio.com)
2020-09-19 00:10:16 AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl)
2020-09-19 00:12:31 × falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 244 seconds)
2020-09-19 00:15:57 jud^ joins (~jud@cpe-70-113-106-222.austin.res.rr.com)
2020-09-19 00:17:12 mariatsji joins (~mariatsji@155.84-234-177.customer.lyse.net)
2020-09-19 00:18:17 gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 00:18:33 × fendor quits (~fendor@212095005091.public.telering.at) (Remote host closed the connection)
2020-09-19 00:19:49 × jud quits (~jud@unaffiliated/jud) (Ping timeout: 260 seconds)
2020-09-19 00:21:23 × mariatsji quits (~mariatsji@155.84-234-177.customer.lyse.net) (Ping timeout: 240 seconds)
2020-09-19 00:22:35 × gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 240 seconds)
2020-09-19 00:28:57 × jchia_ quits (~jchia@58.32.37.220) (Quit: Leaving.)
2020-09-19 00:38:45 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-19 00:39:11 × kanishka quits (~kanishka@107.242.116.74) (Quit: Quit)
2020-09-19 00:39:32 gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 00:40:25 × revprez_anzio quits (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2020-09-19 00:40:48 revprez_anzio joins (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-09-19 00:41:56 eflister joins (47ee2144@c-71-238-33-68.hsd1.or.comcast.net)
2020-09-19 00:42:39 × codygman quits (~codygman@2600:380:f971:6858:ad76:4f29:a95d:d3ce) (Read error: Connection reset by peer)
2020-09-19 00:43:00 codygman joins (~codygman@47-184-107-46.dlls.tx.frontiernet.net)
2020-09-19 00:44:14 × Ariakenom quits (~Ariakenom@h-98-128-229-34.NA.cust.bahnhof.se) (Quit: Leaving)
2020-09-19 00:44:19 × gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-09-19 00:46:45 × monochrom quits (trebla@216.138.220.146) (Ping timeout: 240 seconds)
2020-09-19 00:47:10 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-09-19 00:47:59 × heatsink quits (~heatsink@2600:1700:bef1:5e10:b0dc:6c54:247b:ece) (Remote host closed the connection)
2020-09-19 00:48:25 × teardown quits (~user@unaffiliated/mrush) (Ping timeout: 240 seconds)
2020-09-19 00:53:15 Tops2 joins (~Tobias@dyndsl-095-033-022-068.ewe-ip-backbone.de)
2020-09-19 00:54:07 × jud^ quits (~jud@cpe-70-113-106-222.austin.res.rr.com) (Quit: Leaving)
2020-09-19 00:54:23 × Tops21 quits (~Tobias@dyndsl-095-033-022-068.ewe-ip-backbone.de) (Ping timeout: 246 seconds)
2020-09-19 00:54:29 jud joins (~jud@unaffiliated/jud)
2020-09-19 00:54:51 Tops21 joins (~Tobias@dyndsl-095-033-022-068.ewe-ip-backbone.de)
2020-09-19 00:55:28 mirrorbird joins (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2)
2020-09-19 00:55:46 teardown joins (~user@unaffiliated/mrush)
2020-09-19 00:57:03 heatsink joins (~heatsink@2600:1700:bef1:5e10:b0dc:6c54:247b:ece)
2020-09-19 00:58:05 × Tops2 quits (~Tobias@dyndsl-095-033-022-068.ewe-ip-backbone.de) (Ping timeout: 240 seconds)
2020-09-19 01:00:19 gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 01:01:00 Ranhir joins (~Ranhir@157.97.53.139)
2020-09-19 01:01:24 × mitchellsalad_ quits (uid40617@gateway/web/irccloud.com/x-emvpcqiqclhtoqyn) (Quit: Connection closed for inactivity)
2020-09-19 01:04:52 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-09-19 01:05:53 × gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-09-19 01:06:46 × nullheroes quits (~danielvu@168.235.66.22) (Quit: WeeChat 2.9)
2020-09-19 01:08:12 × xff0x_ quits (~fox@2001:1a81:533d:7300:a04c:63b1:3358:adfe) (Ping timeout: 260 seconds)
2020-09-19 01:08:28 monochrom joins (trebla@216.138.220.146)
2020-09-19 01:09:49 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 01:09:51 xff0x_ joins (~fox@2001:1a81:5373:6a00:7135:4a2f:509f:3c41)
2020-09-19 01:11:57 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-19 01:14:43 kupi joins (uid212005@gateway/web/irccloud.com/x-sjortpcvbymtcblo)
2020-09-19 01:15:13 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-09-19 01:22:03 gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 01:22:58 systemhalted joins (~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net)
2020-09-19 01:25:34 nan` joins (~nan`@unaffiliated/nan/x-5405850)
2020-09-19 01:27:16 × gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 01:28:29 skvidal joins (~skvidal@193.56.252.210)
2020-09-19 01:29:05 × jneira_ quits (~jneira@80.30.101.206) (Ping timeout: 240 seconds)
2020-09-19 01:29:46 × systemhalted quits (~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-19 01:29:54 jneira_ joins (~jneira@80.30.101.206)
2020-09-19 01:30:19 × mirrorbird quits (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) (Ping timeout: 272 seconds)
2020-09-19 01:32:05 berberman_ joins (~berberman@2408:8207:256b:da50:584e:a9ff:fe9b:d3fe)
2020-09-19 01:32:08 justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-09-19 01:32:16 × berberman quits (~berberman@2408:8207:2566:53a0:584e:a9ff:fe9b:d3fe) (Ping timeout: 244 seconds)
2020-09-19 01:37:25 × DTZUZU quits (~DTZUZU@205.ip-149-56-132.net) (Ping timeout: 246 seconds)
2020-09-19 01:39:56 DTZUZU joins (~DTZUZU@S0106bcd165662a4d.vs.shawcable.net)
2020-09-19 01:40:30 boxscape joins (58823b0b@gateway/web/cgi-irc/kiwiirc.com/ip.88.130.59.11)
2020-09-19 01:41:19 <boxscape> % (+++) :: a -> b -> c -> a; (a +++ b) c = a
2020-09-19 01:41:19 <yahb> boxscape:
2020-09-19 01:41:20 <boxscape> % (+++) :: a -> b -> a; (a +++ b) = a
2020-09-19 01:41:20 <yahb> boxscape: ; <interactive>:101:24: error: Parse error in pattern: a +++ b
2020-09-19 01:41:30 <boxscape> hm, seems strange that the second one doesn't work
2020-09-19 01:41:35 <boxscape> it works without the parens of coures, but...
2020-09-19 01:41:42 <boxscape> seems inconsintent
2020-09-19 01:41:47 <boxscape> wow I cannot spell today
2020-09-19 01:42:10 gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 01:42:28 <monochrom> Don't use parentheses in the 2nd one. The Haskell grammar does not anticipate it.
2020-09-19 01:43:02 × nineonine quits (~nineonine@216.81.48.202) (Remote host closed the connection)
2020-09-19 01:43:07 <boxscape> I realize that, I'm just surprised that the Haskell grammar is designed in that way :)
←Prev  Next→
Page 1 .. 58 59 60 61 62 63 64 65 66 67 68 .. 5022

All times are in UTC.