Logs: freenode/#haskell
| 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.