Newest at the top
| 2024-12-29 14:28:37 +0100 | <kaol> | I used that but putting kleisli and fmap together felt odd, is there something obvious I missed? |
| 2024-12-29 14:28:25 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2024-12-29 14:27:51 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-12-29 14:27:47 +0100 | <lambdabot> | Monad m => (b -> m c) -> (a -> b) -> m a -> m c |
| 2024-12-29 14:27:47 +0100 | <kaol> | :t \f g -> f <=< fmap g |
| 2024-12-29 14:26:39 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2024-12-29 14:24:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-29 14:19:21 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) |
| 2024-12-29 14:18:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 14:18:32 +0100 | Digit | (~user@user/digit) Digit |
| 2024-12-29 14:10:48 +0100 | alp | (~alp@2001:861:8ca0:4940:dcd7:67cc:75e1:172c) (Ping timeout: 272 seconds) |
| 2024-12-29 14:08:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-29 14:07:02 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-12-29 14:03:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 14:01:21 +0100 | sprotte24 | (~sprotte24@p200300d16f115c0064019873c2fc968e.dip0.t-ipconnect.de) |
| 2024-12-29 14:00:43 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) |
| 2024-12-29 13:59:09 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2024-12-29 13:55:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-29 13:51:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 13:51:24 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) ionut_f |
| 2024-12-29 13:43:54 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) dostoevsky |
| 2024-12-29 13:42:15 +0100 | Digit | (~user@user/digit) (Ping timeout: 244 seconds) |
| 2024-12-29 13:40:48 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-29 13:40:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-29 13:35:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 13:32:48 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2024-12-29 13:29:25 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-29 13:27:03 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2024-12-29 13:26:44 +0100 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2024-12-29 13:23:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-29 13:20:17 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-12-29 13:18:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-29 13:13:15 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 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 |