Newest at the top
| 2026-06-11 09:43:20 +0000 | synchromesh | (~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) synchromesh |
| 2026-06-11 09:42:48 +0000 | synchrom1 | (~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) (Read error: Connection reset by peer) |
| 2026-06-11 09:40:54 +0000 | CiaoSen | (~Jura@2a02:3030:e4:e9c9:4e50:ddff:fe9b:8922) (Ping timeout: 256 seconds) |
| 2026-06-11 09:36:34 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) |
| 2026-06-11 09:36:19 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) (Quit: Client closed) |
| 2026-06-11 09:34:20 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2026-06-11 09:32:37 +0000 | danza | (~danza@user/danza) danza |
| 2026-06-11 09:32:27 +0000 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-06-11 09:27:05 +0000 | Pixi | (~Pixi@user/pixi) (Ping timeout: 272 seconds) |
| 2026-06-11 09:26:54 +0000 | danza | (~danza@user/danza) danza |
| 2026-06-11 09:23:54 +0000 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2026-06-11 09:03:23 +0000 | ski | (~ski@90-224-14-130-no600.tbcn.telia.com) ski |
| 2026-06-11 09:02:19 +0000 | CiaoSen | (~Jura@2a02:3030:e4:e9c9:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-06-11 08:55:34 +0000 | ski | (~ski@90-224-14-130-no600.tbcn.telia.com) (Ping timeout: 256 seconds) |
| 2026-06-11 08:52:56 +0000 | karenw | (~karenw@user/karenw) (Remote host closed the connection) |
| 2026-06-11 08:50:11 +0000 | akegalj_ | (~akegalj@89-172-89-105.adsl.net.t-com.hr) akegalj |
| 2026-06-11 08:49:15 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 245 seconds) |
| 2026-06-11 08:49:01 +0000 | dhil | (~dhil@5.151.29.139) dhil |
| 2026-06-11 08:47:19 +0000 | Enrico63 | (~Enrico63@host-87-1-153-31.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-06-11 08:47:09 +0000 | Axman2447 | (~Axman6@user/axman6) Axman6 |
| 2026-06-11 08:45:19 +0000 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (Ping timeout: 245 seconds) |
| 2026-06-11 08:44:05 +0000 | darksatanic | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) |
| 2026-06-11 08:43:45 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-06-11 08:43:01 +0000 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 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 |
| 2026-06-11 08:36:12 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e51278de9c160d71f415.dip0.t-ipconnect.de) |
| 2026-06-11 08:35:05 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) |
| 2026-06-11 08:34:49 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) (Quit: Client closed) |
| 2026-06-11 08:31:24 +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:27:20 +0000 | hsw | (~hsw@112-104-29-204.adsl.dynamic.seed.net.tw) hsw |
| 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:21:20 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-06-11 08:17:53 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-06-11 08:08:05 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-06-11 08:03:47 +0000 | Square2 | (~Square@user/square) Square |
| 2026-06-11 08:03:44 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 252 seconds) |
| 2026-06-11 07:59:23 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-11 07:58:24 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-11 07:55:09 +0000 | ft | (~ft@p508db0ab.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-06-11 07:45:32 +0000 | Googulator62 | Googulator |
| 2026-06-11 07:42:07 +0000 | akegalj | (~akegalj@141-136-131-35.dsl.iskon.hr) akegalj |
| 2026-06-11 07:41:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-06-11 07:36:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 07:35:30 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-11 07:35:08 +0000 | nyc | (~nyc@user/nyc) (Read error: Connection reset by peer) |
| 2026-06-11 07:33:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-06-11 07:28:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 07:27:56 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-06-11 07:27:56 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:3496:aaf8:cb32:c1c5) (Changing host) |