Logs: freenode/#haskell
| 2020-10-14 23:59:58 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:d49a:a728:b92:c358) |
| 2020-10-15 00:00:02 | × | ermau quits (~ermau@s91904426.blix.com) () |
| 2020-10-15 00:01:48 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:2427:ffab:82d7:d76a) (Quit: oisdk) |
| 2020-10-15 00:03:49 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 246 seconds) |
| 2020-10-15 00:04:50 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-15 00:04:51 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-15 00:04:51 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-15 00:05:35 | × | pjb quits (~t@2a01cb04063ec50000393c8482ae9564.ipv6.abo.wanadoo.fr) (Ping timeout: 272 seconds) |
| 2020-10-15 00:08:43 | × | nshepperd_ quits (nshepperd@gateway/vpn/mullvad/nshepperd) (Ping timeout: 246 seconds) |
| 2020-10-15 00:12:25 | × | nineonine quits (~nineonine@216.81.48.202) (Remote host closed the connection) |
| 2020-10-15 00:14:49 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-15 00:15:14 | × | minne quits (~minne@4e69b241.skybroadband.com) (Ping timeout: 260 seconds) |
| 2020-10-15 00:17:01 | → | nshepperd_ joins (nshepperd@gateway/vpn/mullvad/nshepperd) |
| 2020-10-15 00:17:09 | → | minne joins (~minne@4e69b241.skybroadband.com) |
| 2020-10-15 00:17:49 | → | elliott_ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-10-15 00:21:53 | → | zyga joins (~zyga@185.163.110.116) |
| 2020-10-15 00:25:45 | → | nineonine joins (~nineonine@216-19-190-182.dyn.novuscom.net) |
| 2020-10-15 00:26:58 | × | nineonine quits (~nineonine@216-19-190-182.dyn.novuscom.net) (Read error: Connection reset by peer) |
| 2020-10-15 00:27:12 | → | nineonine joins (~nineonine@216-19-190-182.dyn.novuscom.net) |
| 2020-10-15 00:28:30 | × | spew quits (uid195861@gateway/web/irccloud.com/x-dvgldqlsrlwtfayn) (Quit: Connection closed for inactivity) |
| 2020-10-15 00:32:32 | <larou> | im not sure, maybe there is some way of using the parameters to provide the lower parts |
| 2020-10-15 00:33:07 | <larou> | like, the constructor would be self referential, but that one of the parameters gave a variable that then you could also pass down the other branch |
| 2020-10-15 00:33:13 | × | larou quits (5201f2b7@gateway/web/cgi-irc/kiwiirc.com/ip.82.1.242.183) (Quit: Connection closed) |
| 2020-10-15 00:36:09 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2020-10-15 00:39:16 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 272 seconds) |
| 2020-10-15 00:42:29 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2020-10-15 00:42:31 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-15 00:43:39 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:d49a:a728:b92:c358) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-15 00:46:19 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:e531:b955:8b3c:f641) |
| 2020-10-15 00:46:28 | → | snakemas1 joins (~snakemast@213.100.206.23) |
| 2020-10-15 00:48:53 | → | whatisRT joins (~whatisRT@2002:5b41:6a33:0:68f3:8b8f:f492:c19a) |
| 2020-10-15 00:50:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-10-15 00:50:45 | × | snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds) |
| 2020-10-15 00:51:55 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
| 2020-10-15 00:52:55 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 240 seconds) |
| 2020-10-15 00:53:08 | × | frdg quits (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2020-10-15 00:54:28 | × | ystael quits (~ystael@209.6.50.55) (Ping timeout: 272 seconds) |
| 2020-10-15 00:59:33 | × | wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2020-10-15 00:59:38 | × | jalumar quits (uid392211@gateway/web/irccloud.com/x-pyjvlyahgokzopwq) (Quit: Connection closed for inactivity) |
| 2020-10-15 01:00:27 | hackage | co-log-polysemy-formatting 0.1.0.0 - A Polysemy logging effect for high quality (unstructured) logs. https://hackage.haskell.org/package/co-log-polysemy-formatting-0.1.0.0 (AlexChapman) |
| 2020-10-15 01:06:23 | × | xff0x quits (~fox@2001:1a81:531c:4c00:c40a:58bd:2676:630d) (Ping timeout: 272 seconds) |
| 2020-10-15 01:07:08 | × | unlink2 quits (~unlink2@p57b852f3.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-15 01:07:59 | → | xff0x joins (~fox@2001:1a81:5350:d900:c40a:58bd:2676:630d) |
| 2020-10-15 01:08:26 | → | pjb joins (~t@2a01cb04063ec500259c126a59c35166.ipv6.abo.wanadoo.fr) |
| 2020-10-15 01:11:17 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Remote host closed the connection) |
| 2020-10-15 01:11:34 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 272 seconds) |
| 2020-10-15 01:14:30 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2020-10-15 01:16:38 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2020-10-15 01:19:37 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-15 01:20:28 | → | falafel joins (~falafel@2605:e000:1527:d491:c9d2:9986:8bf7:dec8) |
| 2020-10-15 01:21:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-15 01:24:34 | → | proofofme joins (~proofofme@184-96-74-65.hlrn.qwest.net) |
| 2020-10-15 01:26:08 | × | proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Read error: Connection reset by peer) |
| 2020-10-15 01:26:23 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-10-15 01:30:11 | × | dddddd quits (~dddddd@unaffiliated/dddddd) (Ping timeout: 240 seconds) |
| 2020-10-15 01:30:47 | × | nineonine quits (~nineonine@216-19-190-182.dyn.novuscom.net) (Remote host closed the connection) |
| 2020-10-15 01:31:38 | × | m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 260 seconds) |
| 2020-10-15 01:32:46 | → | goepsilongo joins (~textual@2604:2000:1201:442c:cd68:73db:804e:6df0) |
| 2020-10-15 01:36:49 | → | proofofme joins (~proofofme@184-96-74-65.hlrn.qwest.net) |
| 2020-10-15 01:38:25 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2020-10-15 01:39:56 | → | dddddd joins (~dddddd@unaffiliated/dddddd) |
| 2020-10-15 01:41:32 | → | MattMareo joins (~mattl@unaffiliated/mattmareo) |
| 2020-10-15 01:43:25 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 2.9) |
| 2020-10-15 01:45:09 | × | mirrorbird quits (~psutcliff@m83-187-163-53.cust.tele2.se) (Quit: Leaving) |
| 2020-10-15 01:45:29 | → | tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2020-10-15 01:45:59 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-15 01:46:32 | × | proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection) |
| 2020-10-15 01:49:15 | × | tzh quits (~tzh@2601:448:c500:5300::d4be) (Remote host closed the connection) |
| 2020-10-15 01:49:38 | → | tzh joins (~tzh@2601:448:c500:5300::d4be) |
| 2020-10-15 01:50:39 | → | proofofm_ joins (~proofofme@184-96-74-65.hlrn.qwest.net) |
| 2020-10-15 01:54:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-15 02:00:28 | → | nineonine joins (~nineonine@216.81.48.202) |
| 2020-10-15 02:02:44 | × | twk- quits (~thewormki@unaffiliated/twk-) (Ping timeout: 246 seconds) |
| 2020-10-15 02:03:27 | × | marek quits (~mmahut@209.250.249.245) (Ping timeout: 265 seconds) |
| 2020-10-15 02:04:01 | × | TheScoop quits (~TheScoop@unaffiliated/tryte) (Ping timeout: 272 seconds) |
| 2020-10-15 02:06:38 | → | dmiles joins (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) |
| 2020-10-15 02:12:15 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2020-10-15 02:12:55 | lagothrix | is now known as Guest64940 |
| 2020-10-15 02:12:55 | × | Guest64940 quits (~lagothrix@unaffiliated/lagothrix) (Killed (rothfuss.freenode.net (Nickname regained by services))) |
| 2020-10-15 02:13:02 | → | lagothrix joins (~lagothrix@unaffiliated/lagothrix) |
| 2020-10-15 02:18:43 | → | marek joins (~mmahut@209.250.249.245) |
| 2020-10-15 02:20:16 | → | Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 2020-10-15 02:20:33 | × | proofofm_ quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection) |
| 2020-10-15 02:22:11 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2020-10-15 02:23:25 | × | raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2020-10-15 02:24:34 | → | plutoniix joins (~q@175.176.222.7) |
| 2020-10-15 02:24:43 | × | theDon quits (~td@94.134.91.134) (Ping timeout: 265 seconds) |
| 2020-10-15 02:25:40 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 272 seconds) |
| 2020-10-15 02:26:11 | × | whatisRT quits (~whatisRT@2002:5b41:6a33:0:68f3:8b8f:f492:c19a) (Ping timeout: 246 seconds) |
| 2020-10-15 02:26:32 | → | theDon joins (~td@muedsl-82-207-238-240.citykom.de) |
| 2020-10-15 02:28:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2020-10-15 02:30:13 | × | shailangsa quits (~shailangs@host165-120-169-97.range165-120.btcentralplus.com) (Ping timeout: 264 seconds) |
| 2020-10-15 02:31:04 | → | thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) |
| 2020-10-15 02:34:02 | × | tzh quits (~tzh@2601:448:c500:5300::d4be) (Ping timeout: 260 seconds) |
| 2020-10-15 02:34:38 | → | snakemas1 joins (~snakemast@213.100.206.23) |
| 2020-10-15 02:35:32 | × | emmanuel_erc quits (~user@2604:2000:1382:ce03:4cd9:b90b:27ea:9c15) (Ping timeout: 260 seconds) |
| 2020-10-15 02:35:47 | × | thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-15 02:37:46 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
| 2020-10-15 02:39:16 | × | nados quits (~dan@107-190-41-58.cpe.teksavvy.com) (Quit: Leaving) |
| 2020-10-15 02:39:20 | → | sleblanc joins (~sleblanc@unaffiliated/sebleblanc) |
All times are in UTC.