Newest at the top
| 2024-11-02 14:31:37 +0100 | <haskellbridge> | <hellwolf> TH question: when producing a Q Exp, can I know of which top-level Dec it is part of? |
| 2024-11-02 14:31:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-02 14:26:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 14:19:07 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-02 14:16:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-02 14:08:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 14:07:38 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-11-02 14:04:37 +0100 | alp | (~alp@2001:861:e3d6:8f80:2fe7:8a3a:9a36:54fa) (Remote host closed the connection) |
| 2024-11-02 14:01:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-02 14:00:31 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-02 13:54:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 13:49:30 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-11-02 13:43:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-02 13:38:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 13:27:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-02 13:22:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 13:11:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-02 13:07:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 13:06:06 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-11-02 13:01:36 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-02 12:59:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-02 12:55:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 12:44:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-02 12:39:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 12:28:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-02 12:28:12 +0100 | CiaoSen | (~Jura@2a05:5800:489:ee00:ca4b:d6ff:fec1:99da) (Ping timeout: 272 seconds) |
| 2024-11-02 12:27:58 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-11-02 12:24:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 12:13:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-02 12:06:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 12:05:05 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-02 12:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-02 11:58:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-02 11:53:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 11:42:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-02 11:38:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 11:28:16 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-02 11:24:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-02 11:20:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 11:15:14 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-02 11:10:19 +0100 | alp | (~alp@2001:861:e3d6:8f80:2fe7:8a3a:9a36:54fa) |
| 2024-11-02 11:10:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-02 11:10:02 +0100 | alp | (~alp@2001:861:e3d6:8f80:8f6f:418c:84da:d77) (Remote host closed the connection) |
| 2024-11-02 11:08:38 +0100 | alp | (~alp@2001:861:e3d6:8f80:8f6f:418c:84da:d77) |
| 2024-11-02 11:08:20 +0100 | alp | (~alp@2001:861:e3d6:8f80:897b:546a:473c:28dc) (Remote host closed the connection) |
| 2024-11-02 11:05:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 11:04:41 +0100 | CiaoSen | (~Jura@2a05:5800:489:ee00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-11-02 11:00:59 +0100 | xff0x | (~xff0x@2405:6580:b080:900:26bf:a0f9:b4d:93d8) |
| 2024-11-02 10:58:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-02 10:53:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |