Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4790 4791 4792 4793 4794 4795 4796 4797 4798 4799 4800 .. 5022
— 502,152 events total
2021-05-08 12:30:42 → nicholasbulka joins (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290)
2021-05-08 12:34:17 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-05-08 12:35:54 × bor0 quits (~boro@unaffiliated/boro/x-000000001) (Quit: Leaving)
2021-05-08 12:40:01 → jiribenes joins (~jiribenes@rosa.jiribenes.com)
2021-05-08 12:42:51 × hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 246 seconds)
2021-05-08 12:43:11 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-08 12:44:33 → hyiltiz joins (~quassel@31.220.5.250)
2021-05-08 12:44:33 × hyiltiz quits (~quassel@31.220.5.250) (Changing host)
2021-05-08 12:44:33 → hyiltiz joins (~quassel@unaffiliated/hyiltiz)
2021-05-08 12:55:58 → dpl joins (~dpl@77-121-78-163.chn.volia.net)
2021-05-08 12:57:00 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 12:58:43 → jakalx joins (~jakalx@base.jakalx.net)
2021-05-08 12:58:49 → todda7 joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-08 13:00:27 → nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 13:02:48 × Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 246 seconds)
2021-05-08 13:03:11 × stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-05-08 13:03:16 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-05-08 13:04:45 × nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds)
2021-05-08 13:06:57 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-08 13:09:13 → coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-08 13:16:07 → stree joins (~stree@68.36.8.116)
2021-05-08 13:16:11 → geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-08 13:16:41 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-05-08 13:18:42 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-08 13:19:21 → Unigurd joins (~user@c-xd520f321.cust.hiper.dk)
2021-05-08 13:20:11 × rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-kgjwfxjxyduszuqf) (Quit: Connection closed for inactivity)
2021-05-08 13:22:51 → ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-05-08 13:23:41 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-08 13:24:01 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-05-08 13:24:56 × s00pcan quits (~chris@107.181.165.217) (Ping timeout: 265 seconds)
2021-05-08 13:26:46 → s00pcan joins (~chris@075-133-056-178.res.spectrum.com)
2021-05-08 13:30:06 → mrchampion joins (~mrchampio@38.18.109.23)
2021-05-08 13:30:43 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 13:31:27 → howdoi joins (uid224@gateway/web/irccloud.com/x-utoacenyxykrhmuw)
2021-05-08 13:32:47 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds)
2021-05-08 13:33:03 → Deide joins (~Deide@217.155.19.23)
2021-05-08 13:33:35 × bahamas quits (~lucian@unaffiliated/bahamas) (Quit: leaving)
2021-05-08 13:33:47 × xff0x quits (~xff0x@2001:1a81:52ef:f00:3b4:5891:2b1:24e7) (Ping timeout: 250 seconds)
2021-05-08 13:34:26 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-05-08 13:34:30 → xff0x joins (~xff0x@2001:1a81:52ef:f00:8213:5fa0:2f9f:9160)
2021-05-08 13:34:43 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) (Ping timeout: 276 seconds)
2021-05-08 13:36:54 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3)
2021-05-08 13:38:19 → sedeki joins (~textual@unaffiliated/sedeki)
2021-05-08 13:38:52 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-08 13:39:48 → son0p joins (~ff@181.136.122.143)
2021-05-08 13:41:16 → Shuppiluliuma joins (~shuppilul@153.33.68.161)
2021-05-08 13:44:52 → hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-08 13:45:44 → fendor_ joins (~fendor@178.165.129.59.wireless.dyn.drei.com)
2021-05-08 13:46:58 → machinedgod joins (~machinedg@24.105.81.50)
2021-05-08 13:48:11 × fendor quits (~fendor@91.141.1.48.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2021-05-08 13:49:25 → ADG1089 joins (~aditya@223.226.229.98)
2021-05-08 13:53:59 × drbean_ quits (~drbean@TC210-63-209-150.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-05-08 13:55:31 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-05-08 13:56:51 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Quit: Leaving)
2021-05-08 13:57:21 → Pickchea joins (~private@unaffiliated/pickchea)
2021-05-08 13:58:35 × seven_three quits (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Remote host closed the connection)
2021-05-08 14:04:55 × ADG1089 quits (~aditya@223.226.229.98) (Remote host closed the connection)
2021-05-08 14:05:58 → ADG1089 joins (~aditya@223.226.229.98)
2021-05-08 14:08:01 × acidjnk_new2 quits (~acidjnk@p200300d0c72b952810c296d938beffd8.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-05-08 14:10:22 × stree quits (~stree@68.36.8.116) (Quit: Caught exception)
2021-05-08 14:10:48 → stree joins (~stree@68.36.8.116)
2021-05-08 14:12:06 × waleee-cl quits (uid373333@gateway/web/irccloud.com/x-nzbednnjnehopylv) (Quit: Connection closed for inactivity)
2021-05-08 14:17:34 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 252 seconds)
2021-05-08 14:19:00 → renzhi joins (~renzhi@2607:fa49:6500:bc00::e7b)
2021-05-08 14:19:36 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-08 14:20:39 → xkapastel joins (uid17782@gateway/web/irccloud.com/x-ubodzoficrnipzac)
2021-05-08 14:20:43 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-08 14:20:58 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-08 14:22:06 × dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
2021-05-08 14:22:12 → jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg)
2021-05-08 14:25:49 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-05-08 14:25:58 × _Alleria quits (~AllahuAkb@69.202.254.168) (Ping timeout: 252 seconds)
2021-05-08 14:27:09 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds)
2021-05-08 14:28:46 × whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-05-08 14:29:11 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2021-05-08 14:29:53 → whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-05-08 14:31:21 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-08 14:32:12 → rayyyy joins (~nanoz@gateway/tor-sasl/nanoz)
2021-05-08 14:32:25 → dpl joins (~dpl@77-121-78-163.chn.volia.net)
2021-05-08 14:35:32 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-05-08 14:35:43 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-05-08 14:36:01 → nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-08 14:36:21 → acidjnk_new2 joins (~acidjnk@p200300d0c72b952744537a9ba826644f.dip0.t-ipconnect.de)
2021-05-08 14:40:04 × thongpv87 quits (~thongpv87@27.76.236.94) (Remote host closed the connection)
2021-05-08 14:40:49 × ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-05-08 14:41:50 → kderme joins (2e675c7c@46-92-124.adsl.cyta.gr)
2021-05-08 14:42:19 × EvilMagix quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 260 seconds)
2021-05-08 14:44:31 → electricityZZZZ joins (~electrici@157-131-250-97.fiber.dynamic.sonic.net)
2021-05-08 14:44:33 <Zemyla> Is there any traversal that can use *> or <*? It doesn't seem like it, based on the laws.
2021-05-08 14:45:21 → nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 14:46:10 × nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-08 14:46:49 → nicholasbulka joins (~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f)
2021-05-08 14:46:49 → nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 14:49:18 <[exa]> Zemyla: what precisely does "use" stand for here?
2021-05-08 14:51:32 <Zemyla> traverse f xs = something1 f xs *> something2 f xs.
2021-05-08 14:51:41 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-08 14:52:04 × nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 276 seconds)
2021-05-08 14:54:23 <[exa]> that actually has a name (some kind of fold I'd say)
2021-05-08 14:57:18 <Zemyla> I know, but there should be no way a legal traversal can disregard part of its structure.
2021-05-08 14:59:12 × kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 268 seconds)
←Prev  Next→
Page 1 .. 4790 4791 4792 4793 4794 4795 4796 4797 4798 4799 4800 .. 5022

All times are in UTC.