Newest at the top
| 2026-02-08 21:30:18 +0100 | <chromoblob> | data List1 a t = Empty1 | Cons1 (t a) (t (List1 a)) |
| 2026-02-08 21:30:18 +0100 | <chromoblob> | data Timed a = Later (Timed a) | Now (a Timed) |
| 2026-02-08 21:30:12 +0100 | oats | (~oats@user/oats) (Read error: Connection reset by peer) |
| 2026-02-08 21:28:50 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 21:26:30 +0100 | _JusSx_ | (~jussx@37.163.117.200) |
| 2026-02-08 21:25:13 +0100 | _JusSx_ | (~jussx@37.163.117.200) (Ping timeout: 264 seconds) |
| 2026-02-08 21:23:35 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-08 21:19:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-08 21:18:18 +0100 | Square2 | (~Square@user/square) Square |
| 2026-02-08 21:12:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-08 21:09:55 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 21:08:50 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-08 21:08:30 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-08 21:04:21 +0100 | <mesaoptimizer> | also W40K because "chaos" |
| 2026-02-08 21:03:54 +0100 | <mesaoptimizer> | I read that as concentration camp but I have been thinking about Gentzen a lot lately |
| 2026-02-08 21:02:31 +0100 | _JusSx_ | (~jussx@37.163.117.200) |
| 2026-02-08 21:01:32 +0100 | _JusSx_ | (~jussx@78.213.113.227) (Ping timeout: 256 seconds) |
| 2026-02-08 21:01:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-08 20:57:10 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 20:56:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-08 20:53:20 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-08 20:48:28 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-08 20:46:52 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-02-08 20:45:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-08 20:45:10 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 20:44:02 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-02-08 20:43:58 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2026-02-08 20:43:25 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) rekahsoft |
| 2026-02-08 20:43:25 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-08 20:40:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-08 20:40:06 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 20:36:15 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-08 20:34:21 +0100 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-02-08 20:29:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-08 20:26:20 +0100 | tromp | (~textual@2001:1c00:3487:1b00:199:803c:4cc4:404b) |
| 2026-02-08 20:24:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-08 20:23:09 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-08 20:21:54 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 20:20:25 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-02-08 20:17:52 +0100 | myme | (~myme@2a01:799:d5e:5f00:30aa:7e47:3c40:13bd) myme |
| 2026-02-08 20:16:49 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-08 20:14:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-08 20:12:14 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-02-08 20:11:31 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:949b:6066:570d:3caf) (Remote host closed the connection) |
| 2026-02-08 20:09:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-08 20:08:51 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-08 20:01:49 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2026-02-08 19:58:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-08 19:55:21 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 250 seconds) |
| 2026-02-08 19:53:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |