Newest at the top
| 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) |
| 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 |