Logs: freenode/#haskell
| 2021-03-08 20:01:40 | × | arrowsvc_ quits (~arr@2.93.163.35) (Ping timeout: 276 seconds) |
| 2021-03-08 20:05:04 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 245 seconds) |
| 2021-03-08 20:06:16 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-08 20:06:39 | <ephemient> | right, I realize now that it's not literally CSE, it's just floating one single subexpression |
| 2021-03-08 20:07:14 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-03-08 20:07:38 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-08 20:07:49 | → | sgibber2018 joins (d055ed90@208.85.237.144) |
| 2021-03-08 20:09:28 | → | augnun joins (~augnun@2804:14c:658b:41bb:ef4f:8ed7:91aa:3226) |
| 2021-03-08 20:10:16 | → | LKoen joins (~LKoen@194.250.88.92.rev.sfr.net) |
| 2021-03-08 20:12:51 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Remote host closed the connection) |
| 2021-03-08 20:13:00 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-03-08 20:15:49 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-08 20:16:51 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-08 20:17:58 | × | kupi quits (uid212005@gateway/web/irccloud.com/x-iaxkjcceawwlxsuc) (Quit: Connection closed for inactivity) |
| 2021-03-08 20:19:26 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-08 20:20:03 | × | mananamenos_ quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 256 seconds) |
| 2021-03-08 20:21:03 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-03-08 20:23:50 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-08 20:24:37 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-03-08 20:25:52 | → | koz joins (~koz@121.99.240.58) |
| 2021-03-08 20:26:54 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds) |
| 2021-03-08 20:27:35 | × | koz_ quits (~koz@2404:4408:4342:2a00:1958:92dc:60f3:680b) (Ping timeout: 272 seconds) |
| 2021-03-08 20:28:24 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 245 seconds) |
| 2021-03-08 20:28:30 | × | terrorjack quits (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Ping timeout: 246 seconds) |
| 2021-03-08 20:28:47 | × | cookielady quits (5f5ebd5c@a95-94-189-92.cpe.netcabo.pt) (Quit: Connection closed) |
| 2021-03-08 20:29:39 | → | cfvnhtsp^ joins (cfvnhtsp@ip98-184-89-2.mc.at.cox.net) |
| 2021-03-08 20:30:26 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-03-08 20:31:56 | → | bartemius joins (~bartemius@109-252-32-214.nat.spd-mgts.ru) |
| 2021-03-08 20:34:50 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 264 seconds) |
| 2021-03-08 20:35:23 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Remote host closed the connection) |
| 2021-03-08 20:36:18 | × | DataComputist quits (~lumeng@50.43.26.251) (Ping timeout: 245 seconds) |
| 2021-03-08 20:36:34 | × | bartemius quits (~bartemius@109-252-32-214.nat.spd-mgts.ru) (Ping timeout: 260 seconds) |
| 2021-03-08 20:39:13 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:a1fb:7cd0:d883:e836) |
| 2021-03-08 20:40:27 | → | terrorjack joins (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 2021-03-08 20:40:41 | → | DataComputist joins (~lumeng@50.43.26.251) |
| 2021-03-08 20:40:56 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-08 20:41:05 | → | son0p joins (~son0p@181.136.122.143) |
| 2021-03-08 20:42:20 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds) |
| 2021-03-08 20:42:58 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds) |
| 2021-03-08 20:46:45 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 264 seconds) |
| 2021-03-08 20:47:57 | × | todda7 quits (~torstein@athedsl-266689.home.otenet.gr) (Ping timeout: 264 seconds) |
| 2021-03-08 20:49:24 | × | crobbins quits (~crobbins@2603:300c:3ec:c0f0:dc2a:3f3:5dcc:77f4) (Remote host closed the connection) |
| 2021-03-08 20:50:40 | koz | is now known as koz_ |
| 2021-03-08 20:54:37 | × | sgibber2018 quits (d055ed90@208.85.237.144) (Quit: Connection closed) |
| 2021-03-08 20:55:12 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-03-08 20:56:16 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 276 seconds) |
| 2021-03-08 20:56:35 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-08 20:56:49 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-03-08 20:58:45 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-03-08 20:59:06 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) |
| 2021-03-08 21:00:50 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-08 21:02:08 | × | smctwo quits (~smctwo@86.98.5.100) (Remote host closed the connection) |
| 2021-03-08 21:02:43 | × | quackrabbit quits (8102b464@129-2-180-100.wireless.umd.edu) (Ping timeout: 240 seconds) |
| 2021-03-08 21:02:49 | × | nineonin_ quits (~nineonine@50.216.62.2) (Ping timeout: 260 seconds) |
| 2021-03-08 21:03:38 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-08 21:07:02 | → | crobbins joins (~crobbins@2600:1700:48eb:8490:9951:ddf8:bc56:65f5) |
| 2021-03-08 21:07:05 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-03-08 21:07:32 | → | fendor__ joins (~fendor@178.115.130.180.wireless.dyn.drei.com) |
| 2021-03-08 21:09:33 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 264 seconds) |
| 2021-03-08 21:10:04 | × | fendor_ quits (~fendor@178.115.130.50.wireless.dyn.drei.com) (Ping timeout: 245 seconds) |
| 2021-03-08 21:18:08 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2021-03-08 21:19:22 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-08 21:21:07 | → | jbe` joins (~user@47.156.152.231) |
| 2021-03-08 21:21:33 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-08 21:23:40 | × | jbe` quits (~user@47.156.152.231) (Client Quit) |
| 2021-03-08 21:24:21 | → | evergree` joins (~user@47.156.152.231) |
| 2021-03-08 21:24:41 | evergree` | is now known as evergreen` |
| 2021-03-08 21:24:51 | × | evergreen` quits (~user@47.156.152.231) (Client Quit) |
| 2021-03-08 21:26:33 | → | evergree` joins (~user@47.156.152.231) |
| 2021-03-08 21:26:35 | × | ByteEater quits (57cd846a@gateway/web/cgi-irc/kiwiirc.com/ip.87.205.132.106) (Quit: Connection closed) |
| 2021-03-08 21:26:43 | <dolio> | I think what GHC considers for CSE is pretty limited, too. |
| 2021-03-08 21:27:13 | × | Suigintou quits (~Suigintou@178.239.168.171) (Remote host closed the connection) |
| 2021-03-08 21:27:49 | evergree` | is now known as evrgreen |
| 2021-03-08 21:27:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-08 21:29:00 | × | LKoen quits (~LKoen@194.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-03-08 21:29:24 | → | gitgoood joins (~gitgood@82-132-219-224.dab.02.net) |
| 2021-03-08 21:29:27 | <dolio> | Like, if you do case analysis on the same thing twice, where one case is nested under the other, it might replace it with one case analysis. |
| 2021-03-08 21:30:11 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-03-08 21:30:51 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-03-08 21:30:54 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-03-08 21:31:58 | × | gitgood quits (~gitgood@82-132-219-97.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-08 21:32:59 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Remote host closed the connection) |
| 2021-03-08 21:33:34 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-03-08 21:35:56 | → | ebsen joins (~ebsene@64-33-113-59-dynamic.midco.net) |
| 2021-03-08 21:36:10 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-08 21:36:22 | × | average quits (uid473595@gateway/web/irccloud.com/x-mcysglljudzmpxqx) (Quit: Connection closed for inactivity) |
| 2021-03-08 21:37:43 | × | ebsen quits (~ebsene@64-33-113-59-dynamic.midco.net) (Client Quit) |
| 2021-03-08 21:38:20 | → | Chefe joins (~Chefe@178.239.168.171) |
| 2021-03-08 21:38:44 | → | encod3 joins (~encod3@45-154-157-94.ftth.glasoperator.nl) |
| 2021-03-08 21:39:57 | × | encod3 quits (~encod3@45-154-157-94.ftth.glasoperator.nl) (Client Quit) |
| 2021-03-08 21:40:28 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2021-03-08 21:40:58 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-03-08 21:42:17 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
| 2021-03-08 21:43:17 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-08 21:43:19 | × | conal quits (~conal@192.145.118.133) (Quit: Computer has gone to sleep.) |
| 2021-03-08 21:45:13 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-08 21:45:52 | → | dibblego joins (~dibblego@122-199-1-30.ip4.superloop.com) |
| 2021-03-08 21:45:52 | × | dibblego quits (~dibblego@122-199-1-30.ip4.superloop.com) (Changing host) |
| 2021-03-08 21:45:52 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 2021-03-08 21:47:00 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
All times are in UTC.