Newest at the top
| 2024-10-07 00:47:04 +0200 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) artu |
| 2024-10-07 00:46:12 +0200 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Remote host closed the connection) |
| 2024-10-07 00:45:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-07 00:41:30 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-07 00:37:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-07 00:34:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-07 00:33:04 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 2024-10-07 00:30:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-07 00:19:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-07 00:18:43 +0200 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) |
| 2024-10-07 00:14:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-07 00:10:35 +0200 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2024-10-07 00:08:51 +0200 | neuroevolutus | (~neuroevol@146.70.211.110) (Ping timeout: 256 seconds) |
| 2024-10-07 00:06:03 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2024-10-07 00:05:13 +0200 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) |
| 2024-10-07 00:04:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-06 23:59:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 23:52:41 +0200 | artu_ | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Remote host closed the connection) |
| 2024-10-06 23:49:44 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2024-10-06 23:48:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-06 23:46:54 +0200 | neuroevolutus | (~neuroevol@146.70.211.110) neuroevolutus |
| 2024-10-06 23:43:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 23:39:22 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-10-06 23:35:55 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-06 23:34:46 +0200 | artu_ | (artu@2600:3c01::f03c:92ff:fecc:1d32) |
| 2024-10-06 23:34:42 +0200 | artu | (~artu@2601:600:8181:9b00::14) (Quit: WeeChat 4.4.2) |
| 2024-10-06 23:33:17 +0200 | andrewboltachev | (~andrey@178.141.123.3) (Quit: Leaving.) |
| 2024-10-06 23:33:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-06 23:29:40 +0200 | artu | (~artu@2601:600:8181:9b00::14) artu |
| 2024-10-06 23:28:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 23:27:33 +0200 | <Inst> | so you can do linear haskell without having -XLinearTypes on, and with linearity being explicit through the use of the combinators |
| 2024-10-06 23:27:11 +0200 | <Inst> | hmmm, my linear haskell friend likes the idea of linear-haskell specific combinators |
| 2024-10-06 23:26:34 +0200 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-06 23:26:04 +0200 | zetef | (~quassel@5.14.128.142) (Client Quit) |
| 2024-10-06 23:25:59 +0200 | zetef | (~quassel@5.14.128.142) zetef |
| 2024-10-06 23:24:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-06 23:24:15 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
| 2024-10-06 23:18:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-06 23:15:00 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-06 23:12:56 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-10-06 23:12:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 23:11:09 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-10-06 23:02:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-06 22:57:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 22:46:30 +0200 | andrewboltachev | (~andrey@178.141.123.3) andrewboltachev |
| 2024-10-06 22:46:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-06 22:44:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-06 22:43:49 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-06 22:42:37 +0200 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2024-10-06 22:42:08 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |