Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4805 4806 4807 4808 4809 4810 4811 4812 4813 4814 4815 .. 5022
— 502,152 events total
2021-05-09 21:09:11 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-05-09 21:09:15 → Alleria joins (~textual@2603-7000-3040-0000-b56e-d773-5c05-1652.res6.spectrum.com)
2021-05-09 21:09:39 Alleria is now known as Guest67052
2021-05-09 21:09:50 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 21:10:12 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-09 21:10:21 × CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer)
2021-05-09 21:14:59 × Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving)
2021-05-09 21:15:41 → nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-09 21:15:52 × machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds)
2021-05-09 21:15:54 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-05-09 21:17:17 × elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2021-05-09 21:18:08 → rond_ joins (5940206b@89-64-32-107.dynamic.chello.pl)
2021-05-09 21:19:49 × kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection)
2021-05-09 21:20:12 → kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt)
2021-05-09 21:21:24 × Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:e1e0:777e:85c3:9996) (Quit: Leaving)
2021-05-09 21:23:02 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-09 21:23:21 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 21:25:21 → son0p joins (~ff@181.136.122.143)
2021-05-09 21:27:38 × corvusdev quits (~corvusdev@99-151-203-47.lightspeed.snantx.sbcglobal.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-09 21:28:05 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-05-09 21:28:26 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-05-09 21:29:16 → corvusdev joins (~corvusdev@50.212.103.45)
2021-05-09 21:29:43 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 21:31:41 × nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-09 21:32:13 → vicfred joins (vicfred@gateway/vpn/mullvad/vicfred)
2021-05-09 21:32:58 → elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-05-09 21:34:32 → cdsmith joins (~cdsmithus@c-73-207-21-162.hsd1.ga.comcast.net)
2021-05-09 21:36:40 → jump joins (~jump@cpe-67-247-15-155.nyc.res.rr.com)
2021-05-09 21:36:45 × mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-05-09 21:39:48 → mounty joins (~mounty@236.216.214.218.sta.wbroadband.net.au)
2021-05-09 21:42:36 × fendor quits (~fendor@178.165.129.14.wireless.dyn.drei.com) (Remote host closed the connection)
2021-05-09 21:43:26 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-09 21:43:28 → usr25 joins (~usr25@unaffiliated/usr25)
2021-05-09 21:46:56 × corvusdev quits (~corvusdev@50.212.103.45) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-09 21:49:27 × danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
2021-05-09 21:51:39 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-05-09 21:55:01 × zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-09 21:55:20 → zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr)
2021-05-09 21:55:26 × malumore quits (~malumore@151.62.119.114) (Ping timeout: 240 seconds)
2021-05-09 21:55:33 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-09 21:58:20 × olle quits (~olle@i5E866616.versanet.de) (Ping timeout: 252 seconds)
2021-05-09 22:04:34 → Rudd0 joins (~Rudd0@185.189.115.108)
2021-05-09 22:04:51 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 265 seconds)
2021-05-09 22:09:20 × rond_ quits (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed)
2021-05-09 22:15:35 → howdoi joins (uid224@gateway/web/irccloud.com/x-laxwxrhojyoowvvz)
2021-05-09 22:17:24 × jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds)
2021-05-09 22:18:24 × ixlun quits (~matthew@109.249.184.235) (Read error: Connection reset by peer)
2021-05-09 22:19:17 → dcoutts_ joins (~duncan@94.186.125.91.dyn.plus.net)
2021-05-09 22:22:31 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-09 22:22:52 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 22:24:22 → safe joins (~safe@unaffiliated/safe)
2021-05-09 22:25:51 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-09 22:27:33 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-05-09 22:30:12 → Guest87676 joins (~laudiacay@67.176.215.84)
2021-05-09 22:30:14 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-09 22:30:41 × undvrainbowvita8 quits (~egp_@128-71-13-3.broadband.corbina.ru) (Remote host closed the connection)
2021-05-09 22:31:40 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2021-05-09 22:31:49 × jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection)
2021-05-09 22:32:24 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 22:34:49 × Guest87676 quits (~laudiacay@67.176.215.84) (Ping timeout: 265 seconds)
2021-05-09 22:35:25 × Lowl3v3l quits (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) (Remote host closed the connection)
2021-05-09 22:37:22 × slaterr quits (~bc817c21@1582020-static.lxtnkya3.metronetinc.net) (Quit: CGI:IRC (Session timeout))
2021-05-09 22:40:10 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-05-09 22:40:42 → nullniverse joins (~null@unaffiliated/nullniverse)
2021-05-09 22:41:49 × DavidEichmann quits (~david@156.59.147.147.dyn.plus.net) (Ping timeout: 252 seconds)
2021-05-09 22:42:04 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 265 seconds)
2021-05-09 22:43:02 × nullniv38 quits (~null@unaffiliated/nullniverse) (Ping timeout: 265 seconds)
2021-05-09 22:43:48 → heebo joins (~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net)
2021-05-09 22:45:41 <jackdk> crococodile emoticon
2021-05-09 22:46:34 <pjb> 🐊
2021-05-09 22:48:17 → machinedgod joins (~machinedg@24.105.81.50)
2021-05-09 22:48:59 → nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 22:51:33 → jao joins (~jao@pdpc/supporter/professional/jao)
2021-05-09 22:51:52 × stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-09 22:54:24 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-09 22:56:20 × nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-09 22:56:22 → ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 22:57:00 → nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 22:58:19 × cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 245 seconds)
2021-05-09 23:01:22 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-05-09 23:01:25 × nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds)
2021-05-09 23:02:33 → jul1u5 joins (~julius@85.206.103.207)
2021-05-09 23:04:20 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-05-09 23:04:29 → stree joins (~stree@68.36.8.116)
2021-05-09 23:07:04 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-09 23:08:11 <Shuppiluliuma> does anyone know how to implement a zipper for n-ary trees?
2021-05-09 23:09:31 × arkho quits (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Remote host closed the connection)
2021-05-09 23:09:52 → arkho joins (~ccc@dynamic-acs-24-112-153-241.zoominternet.net)
2021-05-09 23:10:57 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-05-09 23:14:18 × usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-05-09 23:15:28 → ddere joins (uid110888@gateway/web/irccloud.com/x-rqwfdfncjcxqtnku)
2021-05-09 23:16:31 → CrazyPython joins (~crazypyth@98.122.164.118)
2021-05-09 23:17:00 × Synthetica quits (uid199651@gateway/web/irccloud.com/x-ekuqsqzasggslgwf) (Quit: Connection closed for inactivity)
2021-05-09 23:17:43 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-09 23:18:02 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 23:18:42 → nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 23:19:31 <dibblego> https://hackage.haskell.org/package/rosezipper-0.2/docs/Data-Tree-Zipper.html
2021-05-09 23:23:07 → proofofkeags joins (~proofofke@97-118-239-55.hlrn.qwest.net)
2021-05-09 23:23:09 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2021-05-09 23:25:57 <Shuppiluliuma> ty
←Prev  Next→
Page 1 .. 4805 4806 4807 4808 4809 4810 4811 4812 4813 4814 4815 .. 5022

All times are in UTC.