Newest at the top
| 2025-11-06 03:05:40 +0100 | Googulator39 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 03:05:39 +0100 | Googulator23 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 03:05:35 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 03:02:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 03:02:00 +0100 | prdak | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2025-11-06 02:56:07 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 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:50:55 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 246 seconds) |
| 2025-11-06 02:48:48 +0100 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2025-11-06 02:47:57 +0100 | Pseudonym | (~Pseudonym@194-223-46-47.tpgi.com.au) (Quit: Leaving) |
| 2025-11-06 02:47:22 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-06 02:47:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 02:44:07 +0100 | Pseudonym | (~Pseudonym@194-223-46-47.tpgi.com.au) Pseudonym |
| 2025-11-06 02:40:38 +0100 | Googulator23 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 02:40:37 +0100 | Googulator95 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 02:40:30 +0100 | mikess | (~sam@user/mikess) (Quit: leaving) |
| 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:36:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 02:33:32 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-06 02:32:23 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-06 02:31:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 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:29:37 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 02:28:56 +0100 | Googulator95 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 02:28:40 +0100 | Googulator95 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 02:24:31 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2025-11-06 02:24:06 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-06 02:23:44 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-06 02:20:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 02:19:25 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 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:16:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 02:14:46 +0100 | acidjnk | (~acidjnk@p200300d6e717199501855715c4be6f96.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-11-06 02:14:15 +0100 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-11-06 02:12:04 +0100 | otto_s | (~user@p4ff27ba5.dip0.t-ipconnect.de) |
| 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:10:19 +0100 | otto_s | (~user@p5de2fb9a.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-11-06 02:07:17 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 02:05:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 02:00:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 01:53:48 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-06 01:51:22 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 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:49:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 01:42:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 01:36:52 +0100 | trickard_ | trickard |
| 2025-11-06 01:34:49 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-11-06 01:31:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 01:27:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 01:18:21 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |