Newest at the top
| 2024-12-29 13:13:03 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-12-29 13:12:33 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-12-29 13:11:24 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f89a9548a55d3d0f0c2.dip0.t-ipconnect.de) acidjnk |
| 2024-12-29 13:08:03 +0100 | sprotte24 | (~sprotte24@p200300d16f115c0064019873c2fc968e.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-12-29 13:07:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-29 13:05:00 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-29 13:02:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 13:02:07 +0100 | <ncf> | a monad is just a one-object enriched category :) |
| 2024-12-29 13:00:17 +0100 | alp | (~alp@2001:861:8ca0:4940:dcd7:67cc:75e1:172c) |
| 2024-12-29 12:59:41 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-12-29 12:59:15 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f89a9548a55d3d0f0c2.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-12-29 12:56:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-29 12:50:36 +0100 | <haskellbridge> | <thirdofmay18081814goya> (the citation cluster around this article discusses the topic extensively too and most articles are freely available) |
| 2024-12-29 12:49:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 12:42:18 +0100 | rvalue- | rvalue |
| 2024-12-29 12:38:42 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 244 seconds) |
| 2024-12-29 12:38:00 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-12-29 12:37:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-29 12:37:20 +0100 | tnt2 | tnt1 |
| 2024-12-29 12:37:19 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 264 seconds) |
| 2024-12-29 12:36:18 +0100 | <haskellbridge> | <thirdofmay18081814goya> notably, why two indexes, and how to encode non-indexed functors (they use the Unit type as the two indexes) |
| 2024-12-29 12:36:16 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-29 12:36:05 +0100 | Digitteknohippie | Digit |
| 2024-12-29 12:35:28 +0100 | <haskellbridge> | <thirdofmay18081814goya> for anyone interested in the indexed monad discussions above, the following article clarifies a lot: https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=58bbf3f9381b1c08035b18b5e36bf15eb7c… |
| 2024-12-29 12:33:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 12:26:35 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-29 12:21:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-29 12:21:40 +0100 | euandreh | (~Thunderbi@2804:d59:8929:cc00:c70d:53a7:f44e:6c64) (Quit: euandreh) |
| 2024-12-29 12:21:22 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-12-29 12:18:50 +0100 | sprotte24 | (~sprotte24@p200300d16f115c0064019873c2fc968e.dip0.t-ipconnect.de) |
| 2024-12-29 12:16:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 12:14:59 +0100 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2024-12-29 12:13:25 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-12-29 12:05:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-29 12:01:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 12:01:00 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) billchenchina |
| 2024-12-29 11:53:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-29 11:49:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 11:45:13 +0100 | euandreh | (~Thunderbi@2804:d59:8929:cc00:c70d:53a7:f44e:6c64) euandreh |
| 2024-12-29 11:44:50 +0100 | euandreh | (~Thunderbi@2804:d59:8929:cc00:c70d:53a7:f44e:6c64) (Remote host closed the connection) |
| 2024-12-29 11:37:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-29 11:33:29 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-12-29 11:32:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 11:26:09 +0100 | miris | (~miris@user/miris) miris |
| 2024-12-29 11:23:17 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f89a9548a55d3d0f0c2.dip0.t-ipconnect.de) acidjnk |
| 2024-12-29 11:21:04 +0100 | alp | (~alp@2001:861:8ca0:4940:cce8:4f56:ac90:1a49) (Ping timeout: 272 seconds) |
| 2024-12-29 11:20:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-29 11:16:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 11:08:45 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f8900a2a0b37ea8fce4.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-12-29 10:58:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |