Logs: liberachat/#haskell
| 2025-11-05 23:42:34 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-05 23:46:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-05 23:54:33 | → | AlexNoo_ joins (~AlexNoo@85.174.180.102) |
| 2025-11-05 23:56:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-05 23:57:31 | × | AlexZenon quits (~alzenon@178.34.151.83) (Ping timeout: 244 seconds) |
| 2025-11-05 23:58:08 | × | AlexNoo quits (~AlexNoo@178.34.151.83) (Ping timeout: 244 seconds) |
| 2025-11-06 00:01:12 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-06 00:01:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 00:03:09 | → | AlexZenon joins (~alzenon@85.174.180.102) |
| 2025-11-06 00:07:25 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2025-11-06 00:09:59 | × | connrs quits (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 2025-11-06 00:10:07 | → | connrs joins (~connrs@user/connrs) |
| 2025-11-06 00:10:31 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 00:10:44 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 00:11:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 00:16:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 00:18:21 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-06 00:27:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 00:31:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 00:34:49 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-11-06 00:36:52 | trickard_ | is now known as trickard |
| 2025-11-06 00:42:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 00:49:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 00:51:09 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 00:51:22 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 00:53:48 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-06 01:00:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 01:05:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 01:07:17 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-06 01:10:19 | × | otto_s quits (~user@p5de2fb9a.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-11-06 01:11:01 | × | xff0x quits (~xff0x@2405:6580:b080:900:e2f9:e1a8:ab7f:507d) (Ping timeout: 255 seconds) |
| 2025-11-06 01:12:04 | → | otto_s joins (~user@p4ff27ba5.dip0.t-ipconnect.de) |
| 2025-11-06 01:14:15 | → | tzh_ joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-11-06 01:14:46 | × | acidjnk quits (~acidjnk@p200300d6e717199501855715c4be6f96.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-11-06 01:16:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 01:16:49 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 264 seconds) |
| 2025-11-06 01:19:25 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-11-06 01:20:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 01:23:44 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-06 01:24:06 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-06 01:24:31 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2025-11-06 01:28:40 | × | Googulator95 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 01:28:56 | → | Googulator95 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 01:29:37 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 01:31:29 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-06 01:31:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 01:32:23 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-06 01:33:32 | → | califax joins (~califax@user/califx) |
| 2025-11-06 01:36:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 01:40:08 | <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 01:40:30 | × | mikess quits (~sam@user/mikess) (Quit: leaving) |
| 2025-11-06 01:40:37 | × | Googulator95 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 01:40:38 | → | Googulator23 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 01:44:07 | → | Pseudonym joins (~Pseudonym@194-223-46-47.tpgi.com.au) |
| 2025-11-06 01:47:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 01:47:22 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-06 01:47:57 | × | Pseudonym quits (~Pseudonym@194-223-46-47.tpgi.com.au) (Quit: Leaving) |
| 2025-11-06 01:48:48 | → | Nachtgespenst joins (~user@user/siracusa) |
| 2025-11-06 01:50:55 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 246 seconds) |
| 2025-11-06 01:51:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 01:56:07 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-11-06 02:02:00 | × | prdak quits (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2025-11-06 02:02:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 02:05:35 | → | prdak joins (~Thunderbi@user/prdak) |
| 2025-11-06 02:05:39 | × | Googulator23 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 02:05:40 | → | Googulator39 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 02:06:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-06 02:08:54 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-11-06 02:10:49 | × | Googulator39 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 02:11:07 | → | Googulator39 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 02:12:29 | × | annamalai quits (~annamalai@157.32.112.75) (Remote host closed the connection) |
| 2025-11-06 02:17:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 02:20:48 | → | Googulator67 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 02:21:03 | × | Googulator39 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 02:22:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 02:24:18 | → | annamalai joins (~annamalai@157.32.112.75) |
| 2025-11-06 02:33:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 02:37:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-06 02:47:30 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-11-06 02:48:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 02:53:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 02:58:16 | → | notzmv joins (~umar@user/notzmv) |
| 2025-11-06 03:00:45 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-11-06 03:01:01 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 03:01:14 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 03:03:06 | → | democritus joins (~democritu@2600:1700:72e0:4dc0:f0cb:ee18:f843:c07c) |
| 2025-11-06 03:03:37 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 264 seconds) |
| 2025-11-06 03:04:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 03:05:25 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 03:07:18 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-11-06 03:09:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 03:10:09 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 03:12:02 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-11-06 03:12:55 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2025-11-06 03:14:03 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 03:15:58 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-11-06 03:19:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 03:24:06 | → | Googulator26 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 03:24:07 | × | Googulator67 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 03:25:43 | × | Googulator26 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Client Quit) |
All times are in UTC.