Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 666 667 668 669 670 671 672 673 674 675 676 .. 5022
502,152 events total
2020-10-16 04:41:24 × da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Client Quit)
2020-10-16 04:41:43 × blissful quits (~azuline@unaffiliated/azuline) (Quit: The Lounge - https://thelounge.chat)
2020-10-16 04:43:01 × jneira_ quits (~jneira@80.30.100.250) (Ping timeout: 246 seconds)
2020-10-16 04:43:09 jneira_ joins (~jneira@211.red-176-87-17.dynamicip.rima-tde.net)
2020-10-16 04:43:32 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-16 04:43:32 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-16 04:43:41 Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-16 04:44:56 blissful joins (~azuline@unaffiliated/azuline)
2020-10-16 04:45:21 × larou quits (5201f2b7@gateway/web/cgi-irc/kiwiirc.com/ip.82.1.242.183) (Quit: Connection closed)
2020-10-16 04:46:03 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-16 04:48:01 chris joins (~chris@81.96.113.213)
2020-10-16 04:48:26 chris is now known as Guest39829
2020-10-16 04:49:05 day_ joins (~Unknown@unaffiliated/day)
2020-10-16 04:50:21 Tario joins (~Tario@201.192.165.173)
2020-10-16 04:50:41 ech joins (~user@gateway/tor-sasl/ech)
2020-10-16 04:52:36 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 256 seconds)
2020-10-16 04:52:36 day_ is now known as day
2020-10-16 04:53:42 × ericsagnes quits (~ericsagne@2405:6580:0:5100:548b:75ef:7d3b:2917) (Ping timeout: 260 seconds)
2020-10-16 04:54:53 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-10-16 04:55:11 Tario joins (~Tario@201.192.165.173)
2020-10-16 04:59:45 × Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-10-16 04:59:52 jsynacek joins (~jsynacek@ip-185-149-130-112.kmenet.cz)
2020-10-16 05:05:42 ericsagnes joins (~ericsagne@2405:6580:0:5100:ad7e:a36b:18dd:5e0b)
2020-10-16 05:06:11 <hololeap> https://dpaste.com/3FX3PKNAB
2020-10-16 05:12:18 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-16 05:12:49 × foldr quits (~foldr@90.248.57.181) (Ping timeout: 264 seconds)
2020-10-16 05:12:52 snakemas1 joins (~snakemast@213.100.206.23)
2020-10-16 05:14:09 da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
2020-10-16 05:14:58 hackage sweet-egison 0.1.1.2 - Shallow embedding implementation of non-linear pattern matching https://hackage.haskell.org/package/sweet-egison-0.1.1.2 (SatoshiEgi)
2020-10-16 05:17:43 polyrain joins (~polyrain@130.102.13.188)
2020-10-16 05:22:14 × jneira_ quits (~jneira@211.red-176-87-17.dynamicip.rima-tde.net) (Ping timeout: 258 seconds)
2020-10-16 05:26:27 lemmih joins (~lemmih@2406:3003:2072:44:70c9:d5cf:dc27:2e6a)
2020-10-16 05:29:53 × lemmih quits (~lemmih@2406:3003:2072:44:70c9:d5cf:dc27:2e6a) (Client Quit)
2020-10-16 05:31:04 kenran joins (~maier@b2b-37-24-119-190.unitymedia.biz)
2020-10-16 05:32:22 takuan joins (~takuan@178-116-218-225.access.telenet.be)
2020-10-16 05:32:26 lemmih joins (~lemmih@2406:3003:2072:44:70c9:d5cf:dc27:2e6a)
2020-10-16 05:32:58 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 258 seconds)
2020-10-16 05:35:07 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-10-16 05:38:14 justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-16 05:39:16 ggole joins (~ggole@2001:8003:8119:7200:245d:f234:9b48:f3a5)
2020-10-16 05:44:52 × MattMareo quits (~mattl@unaffiliated/mattmareo) (Remote host closed the connection)
2020-10-16 05:44:55 AHADI-DANIEL joins (~Thunderbi@45.195.7.35)
2020-10-16 05:46:35 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-16 05:46:55 alp joins (~alp@2a01:e0a:58b:4920:bc3f:65f1:5680:9d66)
2020-10-16 05:47:11 MattMareo joins (~mattl@unaffiliated/mattmareo)
2020-10-16 05:47:40 Guest88073 is now known as lep-delete
2020-10-16 05:47:41 lep-delete is now known as Guest88073
2020-10-16 05:47:42 Guest88073 is now known as lep-delete
2020-10-16 05:47:48 lep-delete is now known as Guest88073
2020-10-16 05:48:18 Sanchayan joins (~Sanchayan@171.61.90.104)
2020-10-16 05:52:40 × Guest39829 quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-16 05:52:46 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-xesqnwopwcihzfhi) (Quit: Connection closed for inactivity)
2020-10-16 05:52:49 nyd joins (~lpy@unaffiliated/elysian)
2020-10-16 05:53:12 × danso quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-16 05:54:09 danso joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-16 05:56:16 bahamas joins (~lucian@unaffiliated/bahamas)
2020-10-16 05:57:18 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-16 06:00:01 × Ahmuck1 quits (~Ahmuck@195.206.169.184) ()
2020-10-16 06:01:05 × alp quits (~alp@2a01:e0a:58b:4920:bc3f:65f1:5680:9d66) (Ping timeout: 272 seconds)
2020-10-16 06:03:02 × sleblanc quits (~sleblanc@unaffiliated/sebleblanc) (Ping timeout: 265 seconds)
2020-10-16 06:03:42 × acidjnk_new2 quits (~acidjnk@p200300d0c723787058597087ca157dd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-16 06:05:36 × Guest88073 quits (~lep@94.31.82.44) (Read error: Connection reset by peer)
2020-10-16 06:05:56 lep-delete joins (~lep@94.31.82.44)
2020-10-16 06:05:59 whatisRT joins (~whatisRT@2002:5b41:6a33:0:e9bc:8751:d550:a446)
2020-10-16 06:06:22 lep-delete is now known as Guest88073
2020-10-16 06:10:53 <hololeap> @pf runMatchT m = runMaybeT . runReaderT (getMatchT m)
2020-10-16 06:10:53 <lambdabot> Maybe you meant: pl bf
2020-10-16 06:11:01 <hololeap> @pl runMatchT m = runMaybeT . runReaderT (getMatchT m)
2020-10-16 06:11:02 <lambdabot> runMatchT = (runMaybeT .) . runReaderT . getMatchT
2020-10-16 06:11:30 cfricke joins (~cfricke@unaffiliated/cfricke)
2020-10-16 06:12:09 × irc_user quits (uid423822@gateway/web/irccloud.com/x-tarrfebyaowlqxvj) (Quit: Connection closed for inactivity)
2020-10-16 06:13:27 hackage egison 4.1.1 - Programming language with non-linear pattern-matching against non-free data https://hackage.haskell.org/package/egison-4.1.1 (SatoshiEgi)
2020-10-16 06:13:47 toorevitimirp joins (~tooreviti@117.182.180.0)
2020-10-16 06:15:00 bitmagie joins (~Thunderbi@200116b8068ac700b1ff22a8b63421be.dip.versatel-1u1.de)
2020-10-16 06:17:33 × solonarv quits (~solonarv@anancy-651-1-202-101.w109-217.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-10-16 06:19:53 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-16 06:21:24 × plast1k_ quits (~plast1k_@196.207.181.246) (Ping timeout: 265 seconds)
2020-10-16 06:21:53 Wayno joins (~Wayno@185.163.110.116)
2020-10-16 06:24:54 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-16 06:30:28 aqd joins (~aqd@87-92-145-87.rev.dnainternet.fi)
2020-10-16 06:31:46 chris joins (~chris@81.96.113.213)
2020-10-16 06:32:09 chris is now known as Guest79846
2020-10-16 06:34:21 × kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 260 seconds)
2020-10-16 06:35:04 mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-10-16 06:37:12 plast1k_ joins (~plast1k_@196.207.181.246)
2020-10-16 06:37:55 × aqd quits (~aqd@87-92-145-87.rev.dnainternet.fi) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-16 06:38:11 avdb joins (~avdb@ip-83-134-109-138.dsl.scarlet.be)
2020-10-16 06:39:45 × avdb quits (~avdb@ip-83-134-109-138.dsl.scarlet.be) (Client Quit)
2020-10-16 06:40:14 avdb joins (~avdb@ip-83-134-109-138.dsl.scarlet.be)
2020-10-16 06:42:14 × danso quits (~dan@107-190-41-58.cpe.teksavvy.com) (Quit: WeeChat 2.9)
2020-10-16 06:43:10 kenran joins (~maier@b2b-37-24-119-190.unitymedia.biz)
2020-10-16 06:45:25 ensyde joins (~ensyde@2600:1702:2e30:1a40:48f9:cdc3:db29:25b7)
2020-10-16 06:45:35 kritzefitz joins (~kritzefit@fw-front.credativ.com)
2020-10-16 06:48:03 × ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-16 06:48:03 × kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 260 seconds)
2020-10-16 06:49:09 × Guest79846 quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-16 06:50:00 wroathe_ is now known as wroathe
2020-10-16 06:50:29 × ensyde quits (~ensyde@2600:1702:2e30:1a40:48f9:cdc3:db29:25b7) (Ping timeout: 272 seconds)
2020-10-16 06:51:29 jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-10-16 06:51:46 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)

All times are in UTC.