Newest at the top
| 2024-12-29 16:21:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 16:15:51 +0100 | <dminuoso> | mreh: Besides, without a link to C representation the matter of "how to represent some arbitrary data" becomes a mess. Should (a, b) have some TLV representation? This rapidly swirls into encoding/decoding arbitrary payloads. |
| 2024-12-29 16:14:10 +0100 | <lambdabot> | ‘a0’ arising from a use of ‘show_M18904948350... |
| 2024-12-29 16:14:10 +0100 | <lambdabot> | • Ambiguous type variables ‘m0’, |
| 2024-12-29 16:14:10 +0100 | <lambdabot> | error: |
| 2024-12-29 16:14:09 +0100 | <geekosaur> | sneak a garbage line before it, from matrix |
| 2024-12-29 16:14:08 +0100 | <haskellbridge> | > sequence $ Left [1,2,3,4] |
| 2024-12-29 16:14:08 +0100 | <haskellbridge> | <hellwolf> _ |
| 2024-12-29 16:13:45 +0100 | <haskellbridge> | <hellwolf> > sequence $ Left [1,2,3,4] |
| 2024-12-29 16:10:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-29 16:10:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-29 16:09:35 +0100 | Digit | (~user@198.144.208.46.dyn.plus.net) |
| 2024-12-29 16:06:51 +0100 | divya | (divya@140.238.251.170) (Ping timeout: 276 seconds) |
| 2024-12-29 16:05:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 16:05:04 +0100 | ephilalethes | (~noumenon@2001:f40:908:735:aa7e:eaff:fede:ff94) noumenon |
| 2024-12-29 16:02:41 +0100 | euleritian | (~euleritia@dynamic-176-003-015-198.176.3.pool.telefonica.de) |
| 2024-12-29 16:02:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-29 15:59:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-29 15:58:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 15:56:40 +0100 | euleritian | (~euleritia@dynamic-176-006-141-198.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-12-29 15:53:38 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f89a9548a55d3d0f0c2.dip0.t-ipconnect.de) acidjnk |
| 2024-12-29 15:47:54 +0100 | alp | (~alp@2001:861:8ca0:4940:b0e2:6a53:aa07:4647) |
| 2024-12-29 15:45:56 +0100 | euleritian | (~euleritia@dynamic-176-006-141-198.176.6.pool.telefonica.de) |
| 2024-12-29 15:45:41 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2024-12-29 15:45:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-29 15:40:42 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-12-29 15:38:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 15:36:42 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) |
| 2024-12-29 15:29:47 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) (Remote host closed the connection) |
| 2024-12-29 15:29:43 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-29 15:25:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-29 15:23:37 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) |
| 2024-12-29 15:21:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 15:08:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-29 15:05:27 +0100 | troydm | (~troydm@user/troydm) troydm |
| 2024-12-29 15:04:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 15:04:01 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2024-12-29 15:00:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-29 14:55:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 14:55:16 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-12-29 14:50:45 +0100 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2024-12-29 14:49:15 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-12-29 14:47:32 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f89a9548a55d3d0f0c2.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-12-29 14:45:29 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-12-29 14:42:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-29 14:35:42 +0100 | <kaol> | Thanks, I knew there was something off. |
| 2024-12-29 14:35:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 14:34:09 +0100 | <lambdabot> | Monad m => (a1 -> m b) -> (a2 -> a1) -> m a2 -> m b |
| 2024-12-29 14:34:08 +0100 | <int-e> | :t \f g -> (>>= fmap f g) {- scnr -} |
| 2024-12-29 14:33:11 +0100 | <lambdabot> | Monad m => (b1 -> m b2) -> (a -> b1) -> m a -> m b2 |