Newest at the top
| 2026-03-28 10:42:03 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-28 10:41:38 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Client Quit) |
| 2026-03-28 10:41:21 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-03-28 10:39:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-28 10:37:06 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-28 10:34:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-28 10:33:28 +0100 | tromp | (~textual@2001:1c00:340e:2700:906c:57b5:ef16:5481) |
| 2026-03-28 10:32:24 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-03-28 10:29:15 +0100 | hakutaku | (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-03-28 10:29:09 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-03-28 10:28:57 +0100 | tromp | (~textual@2001:1c00:340e:2700:81a5:a541:8a8d:ea9d) (Quit: Textual IRC Client: www.textualapp.com) |
| 2026-03-28 10:24:55 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-03-28 10:24:42 +0100 | elrisas9` | (~user@90.167.229.46) (Ping timeout: 269 seconds) |
| 2026-03-28 10:23:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-28 10:22:02 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2) |
| 2026-03-28 10:19:19 +0100 | elrisas9` | (~user@90.167.229.46) |
| 2026-03-28 10:19:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-28 10:18:43 +0100 | <jreicher> | Just evaluate to (strong) head normal form. ;) |
| 2026-03-28 10:11:30 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-03-28 10:10:18 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2026-03-28 10:10:17 +0100 | tromp | (~textual@2001:1c00:340e:2700:81a5:a541:8a8d:ea9d) |
| 2026-03-28 10:08:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-28 10:08:03 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-28 10:03:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-28 09:57:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-28 09:57:42 +0100 | <ski> | jreicher : yea, and partial evaluation |
| 2026-03-28 09:57:40 +0100 | luke | (~luke@user/luke) (Ping timeout: 245 seconds) |
| 2026-03-28 09:55:03 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds) |
| 2026-03-28 09:53:16 +0100 | luke | (~luke@user/luke) luke |
| 2026-03-28 09:52:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-28 09:50:09 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-28 09:49:17 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 272 seconds) |
| 2026-03-28 09:49:17 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-28 09:41:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-28 09:40:51 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) kupi |
| 2026-03-28 09:36:54 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) Tuplanolla |
| 2026-03-28 09:36:05 +0100 | bggd | (~bgg@user/bggd) (Remote host closed the connection) |
| 2026-03-28 09:34:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-28 09:28:37 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2026-03-28 09:24:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-28 09:20:38 +0100 | bggd | (~bgg@user/bggd) bggd |
| 2026-03-28 09:20:38 +0100 | bggd | (~bgg@2a01:e0a:fd5:f510:2d5c:17fc:f947:3201) (Changing host) |
| 2026-03-28 09:20:38 +0100 | bggd | (~bgg@2a01:e0a:fd5:f510:2d5c:17fc:f947:3201) |
| 2026-03-28 09:19:57 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9cc7:db2c:e6f9:18b3) (Ping timeout: 268 seconds) |
| 2026-03-28 09:19:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-28 09:17:37 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:8bd:378a:d97f:a25b) |
| 2026-03-28 09:09:55 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-03-28 09:08:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-28 09:07:18 +0100 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2026-03-28 09:07:04 +0100 | mistivia | (~mistivia@user/mistivia) (Remote host closed the connection) |