| 2026-01-24 00:00:41 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-01-24 00:05:49 +0100 | Gravifer | (~Gravifer@user/Gravifer) (Ping timeout: 272 seconds) |
| 2026-01-24 00:08:14 +0100 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2026-01-24 00:10:34 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-030a-3891-da7f-f3f3-f997.pool6.digikabel.hu) |
| 2026-01-24 00:10:34 +0100 | Googulator | (~Googulato@2a01-036d-0106-030a-3891-da7f-f3f3-f997.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-24 00:14:28 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
| 2026-01-24 00:15:59 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) mrmonday |
| 2026-01-24 00:30:59 +0100 | tydes | (~tydes@user/ttydes) ttydes |
| 2026-01-24 00:31:39 +0100 | timide_ | (~timide@user/timide) (Quit: WeeChat 4.7.2) |
| 2026-01-24 00:31:43 +0100 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds) |
| 2026-01-24 00:42:55 +0100 | Inline | (~User@2001-4dd7-bc56-0-9df6-8597-3530-1076.ipv6dyn.netcologne.de) Inline |
| 2026-01-24 00:51:21 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-24 00:51:21 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-24 00:57:11 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-24 01:06:34 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 2026-01-24 01:07:52 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-01-24 01:23:36 +0100 | <Leary> | chromoblob: The `LFP`/`GFP` section is written so as to highlight their strong duality; to better understand other aspects you can "simplify" the code by hand. Starting from `ListF` the rest is supposed to be readily understood as-written, but familiarity with the underlying concept of recursion schemes would certainly help. |
| 2026-01-24 01:40:49 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-01-24 01:50:54 +0100 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-01-24 02:03:22 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-24 02:03:34 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-24 02:08:23 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2026-01-24 02:11:34 +0100 | emmanuelux | (~em@user/emmanuelux) (Remote host closed the connection) |
| 2026-01-24 02:16:14 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-01-24 02:19:42 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 2026-01-24 02:22:11 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-24 02:22:38 +0100 | Pozyomka | (~pyon@user/pyon) pyon |