| 2026-06-12 00:01:12 +0000 | sp1ff | (~user@2601:1c2:4080:14c0:5df2:f2f4:8a07:70ec) (Ping timeout: 246 seconds) |
| 2026-06-12 00:02:57 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2026-06-12 00:08:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 00:09:56 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-06-12 00:10:38 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-06-12 00:11:19 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:3b67:1247:21fa:262e) |
| 2026-06-12 00:11:34 +0000 | vulpine | (xfnw@user/meow/xfnw) (Quit: Connection reset by purr) |
| 2026-06-12 00:11:34 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:3b67:1247:21fa:262e) (Client Quit) |
| 2026-06-12 00:11:37 +0000 | remmie | (ianremsen@tilde.team) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2026-06-12 00:13:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-12 00:17:18 +0000 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2026-06-12 00:24:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 00:25:33 +0000 | remmie | (ianremsen@tilde.team) remsense |
| 2026-06-12 00:29:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-12 00:39:36 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-12 00:39:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 00:44:02 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 248 seconds) |
| 2026-06-12 00:44:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-12 00:55:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 00:57:46 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 245 seconds) |
| 2026-06-12 01:00:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 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:36 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2026-06-12 01:05:43 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-12 01:11:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 01:11:47 +0000 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-06-12 01:15:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-12 01:18:19 +0000 | szkl | (uid110435@uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-06-12 01:26:50 +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:44:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 01:50:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-06-12 01:56:56 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-06-12 01:57:29 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 2026-06-12 02:00:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 02:04:13 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-12 02:05:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-12 02:08:36 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 256 seconds) |
| 2026-06-12 02:08:45 +0000 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 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:12:20 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2026-06-12 02:16:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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:21:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-12 02:23:58 +0000 | synchromesh | (~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) synchromesh |
| 2026-06-12 02:31:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 02:35:09 +0000 | Katarushisu61 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2026-06-12 02:36:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 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:37:21 +0000 | Katarushisu61 | Katarushisu6 |
| 2026-06-12 02:39:14 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-12 02:40:46 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2026-06-12 02:43:30 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 245 seconds) |
| 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:47:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 02:52:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-12 02:57:13 +0000 | td_ | (~td@i53870932.versanet.de) (Ping timeout: 248 seconds) |
| 2026-06-12 02:59:01 +0000 | td_ | (~td@i53870938.versanet.de) |
| 2026-06-12 03:03:04 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-12 03:03:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 03:05:48 +0000 | foul_owl | (~kerry@94.156.149.90) (Ping timeout: 245 seconds) |
| 2026-06-12 03:09:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 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:20:04 +0000 | foul_owl | (~kerry@94.156.149.95) foul_owl |
| 2026-06-12 03:21:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 03:22:28 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-12 03:24:01 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2026-06-12 03:26:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-12 03:26:35 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-12 03:26:50 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 245 seconds) |
| 2026-06-12 03:30:18 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-12 03:36:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 03:38:52 +0000 | sp1ff | (~user@2601:1c2:4080:14c0:5df2:f2f4:8a07:70ec) sp1ff |
| 2026-06-12 03:40:05 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-06-12 03:40:52 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-12 03:41:44 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-06-12 03:42:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-12 03:43:40 +0000 | emilym | (~Thunderbi@user/emilym) (Quit: emilym) |
| 2026-06-12 03:44:45 +0000 | FANTOM | (~fantom@90.244.189.139) (Quit: Connection error?!) |
| 2026-06-12 03:45:41 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 252 seconds) |
| 2026-06-12 03:47:55 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-06-12 03:48:32 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-12 03:52:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 03:57:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-12 04:00:29 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 272 seconds) |
| 2026-06-12 04:01:51 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-06-12 04:03:24 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-06-12 04:07:06 +0000 | michalz | (~michalz@185.246.207.200) |
| 2026-06-12 04:08:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 04:14:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-06-12 04:24:30 +0000 | fgarcia | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2026-06-12 04:24:52 +0000 | sourdecor | (uid526401@id-526401.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-06-12 04:27:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-12 04:29:03 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-06-12 04:29:36 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-06-12 04:31:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-12 04:32:28 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-06-12 04:32:52 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |