Newest at the top
| 2024-12-27 19:00:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 18:58:24 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-12-27 18:56:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 18:48:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 18:47:37 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 18:46:00 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-12-27 18:45:20 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2024-12-27 18:43:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 18:43:40 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-27 18:42:24 +0100 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
| 2024-12-27 18:41:23 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-12-27 18:41:08 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-12-27 18:40:03 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-12-27 18:39:59 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 2024-12-27 18:39:34 +0100 | l_k | (~student@213.24.127.88) |
| 2024-12-27 18:39:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-27 18:37:36 +0100 | l_k | (~student@213.24.127.88) (Ping timeout: 265 seconds) |
| 2024-12-27 18:35:31 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 18:35:08 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 18:34:39 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 18:34:10 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 18:33:15 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 18:32:45 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-27 18:32:42 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-12-27 18:29:21 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 18:27:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-27 18:23:59 +0100 | sayurc | (~sayurc@169.150.203.34) sayurc |
| 2024-12-27 18:23:18 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 18:22:03 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 18:20:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 18:18:05 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 18:17:42 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 18:17:20 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 18:16:12 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2024-12-27 18:15:54 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 18:14:39 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 18:14:21 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 18:11:34 +0100 | jathan | (~jathan@69.61.93.38) jathan |
| 2024-12-27 18:11:19 +0100 | jathan | (~jathan@69.61.93.38) (Quit: WeeChat 2.3) |
| 2024-12-27 18:11:16 +0100 | <kuribas> | Guess I am missing the relevant backlog? |
| 2024-12-27 18:10:04 +0100 | <haskellbridge> | <hellwolf> no, it's simply not the way you should use State Monad. I don't find the type synonym of reader monad problematic, so far. |
| 2024-12-27 18:09:18 +0100 | <kuribas> | There is no need for it, if you want it, better use Reader. |
| 2024-12-27 18:08:58 +0100 | <kuribas> | Which should be abolished IMO. |
| 2024-12-27 18:08:51 +0100 | <kuribas> | I bet if you get obscure behaviour, it's because of the (->) r monad. |
| 2024-12-27 18:08:17 +0100 | <kuribas> | well, replicateM better. |
| 2024-12-27 18:08:08 +0100 | <kuribas> | oh, you want sequence . map... |
| 2024-12-27 18:07:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-27 18:03:44 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-12-27 18:00:09 +0100 | <lambdabot> | Expected type: State s (t a) |
| 2024-12-27 18:00:09 +0100 | <lambdabot> | • Couldn't match type ‘[]’ with ‘StateT s Identity’ |