Logs: freenode/#haskell
| 2021-05-07 05:00:44 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer) |
| 2021-05-07 05:00:48 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-05-07 05:01:03 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 2021-05-07 05:02:53 | × | mathlover2 quits (~mathlover@cpe-67-248-97-14.nycap.res.rr.com) (Client Quit) |
| 2021-05-07 05:03:19 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-05-07 05:05:36 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 260 seconds) |
| 2021-05-07 05:08:59 | → | drbean_ joins (~drbean@210.63.209.179) |
| 2021-05-07 05:13:22 | → | vicfred_ joins (~vicfred@unaffiliated/vicfred) |
| 2021-05-07 05:14:17 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-07 05:15:41 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Ping timeout: 240 seconds) |
| 2021-05-07 05:16:52 | → | jgt_ joins (~jgt@87.227.221.129) |
| 2021-05-07 05:17:36 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-05-07 05:19:00 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
| 2021-05-07 05:19:06 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-07 05:21:06 | × | jgt_ quits (~jgt@87.227.221.129) (Ping timeout: 240 seconds) |
| 2021-05-07 05:21:46 | × | Shuppiluliuma quits (~shuppilul@153.33.68.161) (Ping timeout: 240 seconds) |
| 2021-05-07 05:24:44 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-07 05:24:50 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-07 05:28:49 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-07 05:29:29 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-05-07 05:29:40 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-05-07 05:29:54 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-07 05:29:59 | → | leothrix joins (~leothrix@elastic/staff/leothrix) |
| 2021-05-07 05:30:20 | → | Feuermagier joins (~Feuermagi@213.178.26.41) |
| 2021-05-07 05:30:35 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-05-07 05:31:04 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-07 05:31:43 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-07 05:31:44 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-05-07 05:32:31 | → | tromp_ joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-07 05:32:34 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-05-07 05:33:51 | × | renzhi quits (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 260 seconds) |
| 2021-05-07 05:34:02 | × | Feuermagier quits (~Feuermagi@213.178.26.41) (Remote host closed the connection) |
| 2021-05-07 05:34:40 | → | Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) |
| 2021-05-07 05:37:00 | × | xcmw quits (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-07 05:37:30 | × | tromp_ quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
| 2021-05-07 05:42:45 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer) |
| 2021-05-07 05:43:00 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 2021-05-07 05:44:06 | × | electricityZZZZ quits (~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 2021-05-07 05:46:26 | × | nan` quits (~nan`@unaffiliated/nan/x-5405850) (Ping timeout: 260 seconds) |
| 2021-05-07 05:47:15 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-udyzskrqxqzkzbjc) (Quit: Connection closed for inactivity) |
| 2021-05-07 05:47:16 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-05-07 05:51:04 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-05-07 05:51:30 | × | vicfred_ quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-05-07 05:53:21 | → | CMCDragonkai2 joins (~Thunderbi@60-242-118-130.tpgi.com.au) |
| 2021-05-07 05:53:39 | <boxscape> | Is there a way to get the Maybe monoidal behavior for Either, i.e. so that (Right [1,2] <> Right [3]) is Right [1,2,3]? |
| 2021-05-07 05:55:27 | × | tummy quits (~tummy@195.140.213.38) (Remote host closed the connection) |
| 2021-05-07 05:55:47 | <boxscape> | hm I guess there'd still be ambiguity about what to do with multiple lefts |
| 2021-05-07 05:55:59 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-07 05:56:17 | <dibblego> | liftA2 (<>) |
| 2021-05-07 05:56:21 | × | mounty quits (~mounty@236.216.214.218.sta.wbroadband.net.au) (Ping timeout: 260 seconds) |
| 2021-05-07 05:57:28 | <boxscape> | dibblego nice, thanks |
| 2021-05-07 05:57:47 | → | xmj1 joins (~xmj@185.163.110.100) |
| 2021-05-07 05:57:58 | <gnumonic> | I understand the practical differences between the typelevel (==) / %== and (:~:) / %~ from Singletons, but I kind of need to mix and match typelevel boolean equality and propositional equality for something. If a %== b evaluates to STrue, it is possible for a %~ b to evaluate to Disproved {}? If so, in what circumstances might that happen? |
| 2021-05-07 05:58:45 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-05-07 06:00:48 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-05-07 06:02:04 | → | darjeeling_ joins (~darjeelin@112.16.171.10) |
| 2021-05-07 06:05:13 | → | sedeki joins (~textual@unaffiliated/sedeki) |
| 2021-05-07 06:06:31 | × | darjeeling_ quits (~darjeelin@112.16.171.10) (Ping timeout: 252 seconds) |
| 2021-05-07 06:07:45 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-07 06:13:07 | × | proofofkeags quits (~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 252 seconds) |
| 2021-05-07 06:13:19 | → | nan` joins (~nan`@unaffiliated/nan/x-5405850) |
| 2021-05-07 06:16:12 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-07 06:16:26 | × | CMCDragonkai2 quits (~Thunderbi@60-242-118-130.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2021-05-07 06:16:35 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-05-07 06:16:49 | → | malumore joins (~malumore@151.62.113.163) |
| 2021-05-07 06:22:04 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 276 seconds) |
| 2021-05-07 06:22:26 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-07 06:22:31 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-05-07 06:23:26 | × | tsaka__ quits (~torstein@178-147-206-209.haap.dm.cosmote.net) (Ping timeout: 240 seconds) |
| 2021-05-07 06:24:42 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer) |
| 2021-05-07 06:25:00 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-07 06:26:51 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-07 06:27:16 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-07 06:28:46 | × | thunderrd quits (~thunderrd@183.182.114.223) (*.net *.split) |
| 2021-05-07 06:30:08 | → | alexander joins (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) |
| 2021-05-07 06:30:38 | alexander | is now known as Guest89063 |
| 2021-05-07 06:32:14 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2021-05-07 06:32:27 | → | jgt_ joins (~jgt@87.227.221.129) |
| 2021-05-07 06:32:40 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-05-07 06:33:37 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-07 06:38:15 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-05-07 06:39:28 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-07 06:39:35 | → | michalz joins (~user@185.246.204.43) |
| 2021-05-07 06:41:04 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-05-07 06:42:49 | × | sudden quits (~lax@unaffiliated/laxask) (Ping timeout: 252 seconds) |
| 2021-05-07 06:43:38 | → | sudden joins (~lax@unaffiliated/laxask) |
| 2021-05-07 06:43:57 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-05-07 06:45:57 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-05-07 06:49:26 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 260 seconds) |
| 2021-05-07 06:51:51 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-07 07:00:11 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-07 07:00:55 | × | boxscape quits (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Quit: Connection closed) |
| 2021-05-07 07:02:52 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-05-07 07:06:21 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-05-07 07:06:27 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-07 07:07:24 | → | zmijunkie1 joins (~Adium@b2b-109-90-32-89.unitymedia.biz) |
| 2021-05-07 07:07:37 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-07 07:08:06 | × | zmijunkie quits (~Adium@87.122.209.149) (Ping timeout: 240 seconds) |
| 2021-05-07 07:09:00 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-05-07 07:10:01 | → | pmj joins (~pmj@p4fe156fa.dip0.t-ipconnect.de) |
All times are in UTC.