| 2025-11-06 00:00:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 00:01:52 +0100 | <pie_> | sm: huh |
| 2025-11-06 00:12:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 00:15:25 +0100 | comonad | (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-11-06 00:15:32 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2025-11-06 00:16:49 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 264 seconds) |
| 2025-11-06 00:18:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 00:18:52 +0100 | comonad | (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) |
| 2025-11-06 00:21:45 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 00:25:12 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-06 00:25:16 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-06 00:26:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 00:26:59 +0100 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2025-11-06 00:27:26 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-06 00:28:06 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-06 00:28:42 +0100 | mwnaylor | (~user@2601:5cf:837e:2bb0:8f48:1249:bca4:3647) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2025-11-06 00:30:42 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Ping timeout: 260 seconds) |
| 2025-11-06 00:31:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-06 00:31:37 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-06 00:34:19 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 00:35:43 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-06 00:38:37 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-11-06 00:42:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 00:42:12 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-06 00:42:34 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-06 00:46:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 00:54:33 +0100 | AlexNoo_ | (~AlexNoo@85.174.180.102) |
| 2025-11-06 00:56:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 00:57:31 +0100 | AlexZenon | (~alzenon@178.34.151.83) (Ping timeout: 244 seconds) |
| 2025-11-06 00:58:08 +0100 | AlexNoo | (~AlexNoo@178.34.151.83) (Ping timeout: 244 seconds) |
| 2025-11-06 01:01:12 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-06 01:01:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 01:03:09 +0100 | AlexZenon | (~alzenon@85.174.180.102) |
| 2025-11-06 01:07:25 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2025-11-06 01:09:59 +0100 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 2025-11-06 01:10:07 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2025-11-06 01:10:31 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 01:10:44 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 01:11:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 01:16:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 01:18:21 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 01:27:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 01:31:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 01:34:49 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-11-06 01:36:52 +0100 | trickard_ | trickard |
| 2025-11-06 01:42:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 01:49:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 01:51:09 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 01:51:22 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 01:53:48 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-06 02:00:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 02:05:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 02:07:17 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 02:10:19 +0100 | otto_s | (~user@p5de2fb9a.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-11-06 02:11:01 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e2f9:e1a8:ab7f:507d) (Ping timeout: 255 seconds) |
| 2025-11-06 02:12:04 +0100 | otto_s | (~user@p4ff27ba5.dip0.t-ipconnect.de) |
| 2025-11-06 02:14:15 +0100 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-11-06 02:14:46 +0100 | acidjnk | (~acidjnk@p200300d6e717199501855715c4be6f96.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-11-06 02:16:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 02:16:49 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 264 seconds) |
| 2025-11-06 02:19:25 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-11-06 02:20:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 02:23:44 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-06 02:24:06 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-06 02:24:31 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2025-11-06 02:28:40 +0100 | Googulator95 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 02:28:56 +0100 | Googulator95 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 02:29:37 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 02:31:29 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-06 02:31:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 02:32:23 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-06 02:33:32 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-06 02:36:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 02:40:08 +0100 | <Square> | Sweet, you can define a type family member to be another type family. Please warn me if this is a no go zone. |
| 2025-11-06 02:40:30 +0100 | mikess | (~sam@user/mikess) (Quit: leaving) |
| 2025-11-06 02:40:37 +0100 | Googulator95 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 02:40:38 +0100 | Googulator23 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 02:44:07 +0100 | Pseudonym | (~Pseudonym@194-223-46-47.tpgi.com.au) Pseudonym |
| 2025-11-06 02:47:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 02:47:22 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-06 02:47:57 +0100 | Pseudonym | (~Pseudonym@194-223-46-47.tpgi.com.au) (Quit: Leaving) |
| 2025-11-06 02:48:48 +0100 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2025-11-06 02:50:55 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 246 seconds) |
| 2025-11-06 02:51:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 02:56:07 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-11-06 03:02:00 +0100 | prdak | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2025-11-06 03:02:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 03:05:35 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 03:05:39 +0100 | Googulator23 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 03:05:40 +0100 | Googulator39 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 03:06:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-06 03:08:54 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-11-06 03:10:49 +0100 | Googulator39 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 03:11:07 +0100 | Googulator39 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 03:12:29 +0100 | annamalai | (~annamalai@157.32.112.75) (Remote host closed the connection) |
| 2025-11-06 03:17:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 03:20:48 +0100 | Googulator67 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 03:21:03 +0100 | Googulator39 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 03:22:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 03:24:18 +0100 | annamalai | (~annamalai@157.32.112.75) annamalai |
| 2025-11-06 03:33:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 03:37:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-06 03:47:30 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-06 03:48:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 03:53:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 03:58:16 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-11-06 04:00:45 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-06 04:01:01 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 04:01:14 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 04:03:06 +0100 | democritus | (~democritu@2600:1700:72e0:4dc0:f0cb:ee18:f843:c07c) |
| 2025-11-06 04:03:37 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 264 seconds) |
| 2025-11-06 04:04:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 04:05:25 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 04:07:18 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-06 04:09:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 04:10:09 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 04:12:02 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-06 04:12:55 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-11-06 04:14:03 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 04:15:58 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-06 04:19:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 04:24:06 +0100 | Googulator26 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 04:24:07 +0100 | Googulator67 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |