Newest at the top
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) |
2024-10-06 22:41:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 22:40:40 +0200 | Square | (~Square@user/square) (Quit: Leaving) |
2024-10-06 22:39:02 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
2024-10-06 22:38:29 +0200 | EvanR_ | (~EvanR@user/evanr) EvanR |
2024-10-06 22:38:26 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
2024-10-06 22:36:28 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
2024-10-06 22:34:19 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
2024-10-06 22:33:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-06 22:30:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-06 22:29:41 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-10-06 22:26:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 22:25:07 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
2024-10-06 22:24:29 +0200 | zetef | (~quassel@5.14.128.142) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-10-06 22:17:42 +0200 | <Inst> | whoops, ghci error, running tests, this doesn't happen, score |
2024-10-06 22:16:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-06 22:11:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 22:10:51 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2024-10-06 22:07:47 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2024-10-06 22:07:25 +0200 | <Inst> | i can compose linear functions in haskell with just ordinary . |
2024-10-06 22:07:06 +0200 | <Inst> | hmmm, that's interesting |
2024-10-06 22:06:40 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2024-10-06 22:03:01 +0200 | [exa] | (~exa@user/exa/x-3587197) [exa] |
2024-10-06 22:02:28 +0200 | zetef | (~quassel@5.14.128.142) zetef |
2024-10-06 22:01:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-06 22:01:15 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 246 seconds) |
2024-10-06 22:00:15 +0200 | nckx | nckhexen |
2024-10-06 21:58:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-06 21:57:43 +0200 | [exa] | (~exa@user/exa/x-3587197) (Quit: WeeChat 3.0) |
2024-10-06 21:56:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 21:53:36 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-10-06 21:52:33 +0200 | ethantwardy | (user@user/ethantwardy) ethantwardy |