Newest at the top
| 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) |
| 2026-06-11 07:27:56 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:3496:aaf8:cb32:c1c5) |
| 2026-06-11 07:27:18 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-06-11 07:27:06 +0000 | ski | (~ski@90-224-14-130-no600.tbcn.telia.com) ski |
| 2026-06-11 07:24:16 +0000 | Guest56 | (~Guest56@2601:645:8101:ead:f1c2:678f:4540:8f33) (Client Quit) |
| 2026-06-11 07:23:36 +0000 | Guest56 | (~Guest56@2601:645:8101:ead:f1c2:678f:4540:8f33) |
| 2026-06-11 07:21:16 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-06-11 07:20:42 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2026-06-11 07:16:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (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:09:04 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-06-11 07:07:40 +0000 | Axma60748 | Axman6 |
| 2026-06-11 07:06:34 +0000 | chele | (~chele@user/chele) chele |
| 2026-06-11 07:05:32 +0000 | robobub | (uid248673@uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-06-11 07:01:46 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 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@2603:7000:4600:ffbe:3496:aaf8:cb32:c1c5) |
| 2026-06-11 07:01:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 07:00:13 +0000 | echoreply | (~echoreply@45.32.163.16) echoreply |
| 2026-06-11 06:59:35 +0000 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 3.5) |
| 2026-06-11 06:56:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 06:51:03 +0000 | czan | (~czan@user/mange) (Remote host closed the connection) |
| 2026-06-11 06:45:32 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-06-11 06:45:06 +0000 | srk- | srk |
| 2026-06-11 06:44:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |