Newest at the top
| 2026-06-12 03:21:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 03:20:04 +0000 | foul_owl | (~kerry@94.156.149.95) foul_owl |
| 2026-06-12 03:18:23 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-06-12 03:09:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-12 03:05:48 +0000 | foul_owl | (~kerry@94.156.149.90) (Ping timeout: 245 seconds) |
| 2026-06-12 03:03:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 03:03:04 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-12 02:59:01 +0000 | td_ | (~td@i53870938.versanet.de) |
| 2026-06-12 02:57:13 +0000 | td_ | (~td@i53870932.versanet.de) (Ping timeout: 248 seconds) |
| 2026-06-12 02:52:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-12 02:47:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 02:44:18 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2026-06-12 02:43:30 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 245 seconds) |
| 2026-06-12 02:40:46 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2026-06-12 02:39:14 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-12 02:37:21 +0000 | Katarushisu61 | Katarushisu6 |
| 2026-06-12 02:37:21 +0000 | Katarushisu6 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2026-06-12 02:36:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-12 02:35:09 +0000 | Katarushisu61 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2026-06-12 02:31:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 02:23:58 +0000 | synchromesh | (~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) synchromesh |
| 2026-06-12 02:21:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-12 02:18:15 +0000 | synchromesh | (~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) (Read error: Connection reset by peer) |
| 2026-06-12 02:16:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 02:12:20 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2026-06-12 02:10:29 +0000 | <Axman6> | monochrom, mauke: re: \case vs \pat: thanks, I assumed they must be the same (and assume both desugar to the same \x -> case x of pat). |
| 2026-06-12 02:08:45 +0000 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2026-06-12 02:08:36 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 256 seconds) |
| 2026-06-12 02:05:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-12 02:04:13 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-12 02:00:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 01:57:29 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 2026-06-12 01:56:56 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-06-12 01:50:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-06-12 01:44:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 01:33:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-12 01:26:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 01:18:19 +0000 | szkl | (uid110435@uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-06-12 01:15:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-12 01:11:47 +0000 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-06-12 01:11:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 01:05:43 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-12 01:00:36 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2026-06-12 01:00:34 +0000 | xff0x | (~xff0x@2405:6580:b080:900:20a8:16d4:622c:805f) (Ping timeout: 248 seconds) |
| 2026-06-12 01:00:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-12 00:57:46 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 245 seconds) |
| 2026-06-12 00:55:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 00:44:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-12 00:44:02 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 248 seconds) |
| 2026-06-12 00:39:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |