| 2026-06-11 00:05:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 00:12:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 00:23:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 00:25:01 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 276 seconds) |
| 2026-06-11 00:28:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-11 00:29:37 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-06-11 00:32:18 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-06-11 00:34:05 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-06-11 00:37:46 +0000 | czan | (~czan@user/mange) czan |
| 2026-06-11 00:39:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 00:44:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 00:53:48 +0000 | xff0x | (~xff0x@2405:6580:b080:900:3e2c:9f05:7dab:9f7f) (Ping timeout: 246 seconds) |
| 2026-06-11 00:55:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 00:56:49 +0000 | elarks | (~elarks@user/yerrii) (Ping timeout: 244 seconds) |
| 2026-06-11 00:58:14 +0000 | elarks | (~elarks@user/yerrii) yerrii |
| 2026-06-11 01:00:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-11 01:05:31 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-11 01:08:43 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-06-11 01:10:15 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2026-06-11 01:11:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 01:15:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-11 01:27:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 01:28:23 +0000 | synchromesh | (~john@2406:5a00:247e:1500:b1d5:b8b5:36af:ad9a) synchromesh |
| 2026-06-11 01:28:46 +0000 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2026-06-11 01:29:49 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) (Quit: Client closed) |
| 2026-06-11 01:30:10 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) |
| 2026-06-11 01:32:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 01:41:41 +0000 | kidcoconut | (~kidcoconu@user/kidcoconut) kidcoconut |
| 2026-06-11 01:42:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 01:43:18 +0000 | rainbyte | (~rainbyte@181.47.219.31) (Read error: Connection reset by peer) |
| 2026-06-11 01:46:55 +0000 | rainbyte | (~rainbyte@181.47.219.31) rainbyte |
| 2026-06-11 01:50:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-11 01:54:01 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 245 seconds) |
| 2026-06-11 01:59:16 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-11 01:59:32 +0000 | mehbark | (~mehbark@joey.luug.ece.vt.edu) |
| 2026-06-11 02:00:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 02:03:21 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-06-11 02:03:36 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 256 seconds) |
| 2026-06-11 02:05:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-11 02:16:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 02:17:08 +0000 | spew | (~spew@user/spew) spew |
| 2026-06-11 02:21:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-11 02:29:55 +0000 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-06-11 02:32:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 02:37:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-11 02:43:51 +0000 | Googulator54 | (~Googulato@94-21-172-222.pool.digikabel.hu) |
| 2026-06-11 02:47:17 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-06-11 02:48:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 02:52:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-11 02:53:55 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-06-11 02:54:45 +0000 | td_ | (~td@83.135.9.0) (Ping timeout: 245 seconds) |
| 2026-06-11 02:56:43 +0000 | td_ | (~td@i5387092E.versanet.de) |
| 2026-06-11 03:01:11 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 265 seconds) |
| 2026-06-11 03:03:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 03:08:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-11 03:10:18 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 268 seconds) |
| 2026-06-11 03:19:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 03:26:01 +0000 | <Axman6> | Is there any difference (semantically, performance, anything else) between \(Foo x y) -> blah and \case Foo x y -> blah, when F has a single constructor? |
| 2026-06-11 03:26:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-11 03:28:11 +0000 | kidcoconut | (~kidcoconu@user/kidcoconut) (brb) |
| 2026-06-11 03:29:30 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2026-06-11 03:37:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 03:42:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-11 03:51:38 +0000 | myxos | (~myxos@174-18-74-239.tcso.qwest.net) (Ping timeout: 258 seconds) |
| 2026-06-11 03:53:11 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-06-11 03:53:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 03:54:10 +0000 | vivaldi` | (~ident@user/blackbox) (Quit: vivaldi`) |
| 2026-06-11 03:55:36 +0000 | myxos | (~myxos@174-18-74-239.tcso.qwest.net) myxokephale |
| 2026-06-11 03:58:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-11 04:00:09 +0000 | myxos | (~myxos@174-18-74-239.tcso.qwest.net) (Ping timeout: 265 seconds) |
| 2026-06-11 04:05:33 +0000 | <monochrom> | I believe no. |
| 2026-06-11 04:06:25 +0000 | <mauke> | https://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-260003.3 says \pat -> blah is equivalent to \fresh -> case fresh of pat -> blah |
| 2026-06-11 04:06:30 +0000 | <mauke> | so I concur |
| 2026-06-11 04:08:35 +0000 | michalz | (~michalz@185.246.207.217) |
| 2026-06-11 04:09:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 04:09:16 +0000 | <monochrom> | I wrote "f1 = \(Foo x y) -> (x,y)" and "f2 = \case Foo x y -> (x,y)". ghc -O compiled f2 to "f2 = f1". |
| 2026-06-11 04:09:24 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 256 seconds) |
| 2026-06-11 04:09:38 +0000 | <monochrom> | (in -ddump-simpl) |
| 2026-06-11 04:14:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 04:15:24 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 2026-06-11 04:19:43 +0000 | <EvanR> | one has parentheses the other doesn't |
| 2026-06-11 04:20:41 +0000 | synchromesh | (~john@2406:5a00:247e:1500:b1d5:b8b5:36af:ad9a) (Read error: Connection reset by peer) |
| 2026-06-11 04:21:05 +0000 | synchromesh | (~john@2406:5a00:247e:1500:b1d5:b8b5:36af:ad9a) synchromesh |
| 2026-06-11 04:24:28 +0000 | <monochrom> | haha |
| 2026-06-11 04:24:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 04:25:12 +0000 | myxos | (~myxos@174-18-74-239.tcso.qwest.net) myxokephale |
| 2026-06-11 04:26:26 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 2026-06-11 04:29:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-11 04:32:22 +0000 | Googulator62 | (~Googulato@94-21-172-222.pool.digikabel.hu) |
| 2026-06-11 04:36:02 +0000 | Googulator54 | (~Googulato@94-21-172-222.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-06-11 04:40:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 04:41:11 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-06-11 04:41:20 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-06-11 04:41:37 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-06-11 04:45:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-11 04:56:00 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-11 04:56:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 05:00:41 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 268 seconds) |
| 2026-06-11 05:02:34 +0000 | Enrico63 | (~Enrico63@host-87-1-153-31.retail.telecomitalia.it) Enrico63 |
| 2026-06-11 05:03:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-06-11 05:08:25 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 276 seconds) |
| 2026-06-11 05:08:50 +0000 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-06-11 05:10:27 +0000 | Axma60748 | (~Axman6@user/axman6) Axman6 |
| 2026-06-11 05:12:35 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 245 seconds) |
| 2026-06-11 05:14:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 05:17:28 +0000 | skum | (~skum@user/skum) (Quit: WeeChat 4.9.0) |
| 2026-06-11 05:18:24 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 2026-06-11 05:18:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 05:22:03 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-11 05:22:14 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-06-11 05:27:25 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-06-11 05:29:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 05:31:10 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 244 seconds) |
| 2026-06-11 05:34:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-11 05:34:55 +0000 | synchrom1 | (~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) synchromesh |
| 2026-06-11 05:35:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 05:40:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-11 05:44:01 +0000 | traxex | (traxex@user/traxex) traxex |
| 2026-06-11 05:49:48 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-06-11 05:49:59 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-06-11 05:50:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 05:56:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-11 06:01:59 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-06-11 06:05:12 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-06-11 06:06:47 +0000 | contrapu` | (~user@2001:1c00:a16:9d00:dfda:a2a2:b99b:e373) |
| 2026-06-11 06:06:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 06:07:23 +0000 | contrapu` | (~user@2001:1c00:a16:9d00:dfda:a2a2:b99b:e373) () |
| 2026-06-11 06:08:52 +0000 | synchromesh | (~john@2406:5a00:247e:1500:b1d5:b8b5:36af:ad9a) (Quit: WeeChat 4.1.1) |
| 2026-06-11 06:09:09 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-06-11 06:09:09 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-06-11 06:09:11 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-06-11 06:09:23 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-06-11 06:09:33 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-06-11 06:10:23 +0000 | SeerSkye | (~SeerSkye@2607:fea8:1f1f:f44f:5387:b273:2a4f:3ea0) (Read error: Connection reset by peer) |
| 2026-06-11 06:11:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 06:14:06 +0000 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-06-11 06:14:33 +0000 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2026-06-11 06:18:52 +0000 | mulk | (~mulk@p5b112c49.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2026-06-11 06:20:54 +0000 | mfc_kbs- | (~keibisoft@2a06:1fc0:0:1::1cd) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-06-11 06:21:14 +0000 | mfc_kbs | (~keibisoft@2a06:1fc0:0:1::1cd) |
| 2026-06-11 06:22:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 06:25:29 +0000 | mulk | (~mulk@p5b112c49.dip0.t-ipconnect.de) mulk |
| 2026-06-11 06:26:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-11 06:27:17 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-11 06:30:22 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-11 06:30:59 +0000 | Googulator62 | (~Googulato@94-21-172-222.pool.digikabel.hu) (Quit: Client closed) |
| 2026-06-11 06:31:13 +0000 | Googulator62 | (~Googulato@94-21-172-222.pool.digikabel.hu) |
| 2026-06-11 06:31:25 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-06-11 06:31:30 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-06-11 06:31:55 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 265 seconds) |
| 2026-06-11 06:37:13 +0000 | attlin | (~user@user/attlin) (Quit: Leaving) |
| 2026-06-11 06:37:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 06:42:17 +0000 | srk- | (~sorki@user/srk) srk |
| 2026-06-11 06:42:19 +0000 | srk | (~sorki@user/srk) (Ping timeout: 252 seconds) |
| 2026-06-11 06:44:24 +0000 | attlin | (~user@user/attlin) attlin |
| 2026-06-11 06:44:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-11 06:45:06 +0000 | srk- | srk |
| 2026-06-11 06:45:32 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-06-11 06:51:03 +0000 | czan | (~czan@user/mange) (Remote host closed the connection) |
| 2026-06-11 06:56:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 06:59:35 +0000 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 3.5) |
| 2026-06-11 07:00:13 +0000 | echoreply | (~echoreply@45.32.163.16) echoreply |
| 2026-06-11 07:01:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 07:01:46 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:3496:aaf8:cb32:c1c5) |
| 2026-06-11 07:01:46 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:3496:aaf8:cb32:c1c5) (Changing host) |
| 2026-06-11 07:01:46 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-06-11 07:05:32 +0000 | robobub | (uid248673@uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-06-11 07:06:34 +0000 | chele | (~chele@user/chele) chele |
| 2026-06-11 07:07:40 +0000 | Axma60748 | Axman6 |
| 2026-06-11 07:09:04 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-06-11 07:11:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 07:16:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-11 07:20:42 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2026-06-11 07:21:16 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-06-11 07:23:36 +0000 | Guest56 | (~Guest56@2601:645:8101:ead:f1c2:678f:4540:8f33) |
| 2026-06-11 07:24:16 +0000 | Guest56 | (~Guest56@2601:645:8101:ead:f1c2:678f:4540:8f33) (Client Quit) |
| 2026-06-11 07:27:06 +0000 | ski | (~ski@90-224-14-130-no600.tbcn.telia.com) ski |
| 2026-06-11 07:27:18 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-06-11 07:27:56 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:3496:aaf8:cb32:c1c5) |
| 2026-06-11 07:27:56 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:3496:aaf8:cb32:c1c5) (Changing host) |
| 2026-06-11 07:27:56 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-06-11 07:28:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 07:33:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-06-11 07:35:08 +0000 | nyc | (~nyc@user/nyc) (Read error: Connection reset by peer) |
| 2026-06-11 07:35:30 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-11 07:36:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 07:41:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-06-11 07:42:07 +0000 | akegalj | (~akegalj@141-136-131-35.dsl.iskon.hr) akegalj |
| 2026-06-11 07:45:32 +0000 | Googulator62 | Googulator |
| 2026-06-11 07:55:09 +0000 | ft | (~ft@p508db0ab.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-06-11 07:58:24 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-11 07:59:23 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-11 08:03:44 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 252 seconds) |
| 2026-06-11 08:03:47 +0000 | Square2 | (~Square@user/square) Square |
| 2026-06-11 08:08:05 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-06-11 08:17:53 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-06-11 08:21:20 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-06-11 08:26:56 +0000 | hsw | (~hsw@112-104-29-204.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2026-06-11 08:27:20 +0000 | hsw | (~hsw@112-104-29-204.adsl.dynamic.seed.net.tw) hsw |
| 2026-06-11 08:28:18 +0000 | hsw | (~hsw@112-104-29-204.adsl.dynamic.seed.net.tw) (Client Quit) |
| 2026-06-11 08:31:24 +0000 | hsw | (~hsw@112-104-29-204.adsl.dynamic.seed.net.tw) hsw |
| 2026-06-11 08:34:49 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) (Quit: Client closed) |
| 2026-06-11 08:35:05 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) |
| 2026-06-11 08:36:12 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e51278de9c160d71f415.dip0.t-ipconnect.de) |
| 2026-06-11 08:41:31 +0000 | <tomsmeding> | monochrom: reading the first half of the conversation, I was intending to try exactly that. Reading your message, GHC not only anticipated this question but provided the answer in its smug way that obviates even checking equality of Core by hand. :P |