Newest at the top
| 2025-02-12 05:18:40 +0100 | <c_wraith> | yes, (>>) predates the implementation of the applicative-monad proposal |
| 2025-02-12 05:13:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-12 05:12:49 +0100 | lunitur | (~lunitur@86.33.95.148) |
| 2025-02-12 05:08:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-12 05:02:15 +0100 | Googulator | (~Googulato@2a01-036d-0106-4074-758c-12a1-cbb4-05eb.pool6.digikabel.hu) |
| 2025-02-12 05:02:00 +0100 | Googulator | (~Googulato@2a01-036d-0106-4074-758c-12a1-cbb4-05eb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-12 05:01:20 +0100 | skylord5816 | (~skylord58@user/skylord5816) (Remote host closed the connection) |
| 2025-02-12 04:57:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-12 04:55:25 +0100 | <albet70> | >> *> looks so similar |
| 2025-02-12 04:54:04 +0100 | <lambdabot> | Monad m => m a -> m b -> m b |
| 2025-02-12 04:54:03 +0100 | <albet70> | :t (>>) |
| 2025-02-12 04:53:46 +0100 | <lambdabot> | error: parse error on input ‘>>’ |
| 2025-02-12 04:53:45 +0100 | <albet70> | :t >> |
| 2025-02-12 04:53:38 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-12 04:51:18 +0100 | <hololeap> | etc |
| 2025-02-12 04:51:16 +0100 | <lambdabot> | Nothing |
| 2025-02-12 04:51:15 +0100 | <hololeap> | > liftA2 (,) Nothing (Just 3) |
| 2025-02-12 04:51:10 +0100 | <lambdabot> | Just (2,3) |
| 2025-02-12 04:51:09 +0100 | <hololeap> | > liftA2 (,) (Just 2) (Just 3) |
| 2025-02-12 04:50:26 +0100 | <hololeap> | albet70: liftA2 is closer to "and" IMO |
| 2025-02-12 04:49:28 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-12 04:48:42 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-12 04:48:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-12 04:48:07 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-02-12 04:46:40 +0100 | <zungi> | xo'o |
| 2025-02-12 04:46:23 +0100 | <zungi> | Thank God. |
| 2025-02-12 04:46:11 +0100 | <lambdabot> | 19 |
| 2025-02-12 04:46:09 +0100 | <zungi> | > 9 + 10 |
| 2025-02-12 04:45:22 +0100 | <lambdabot> | Just 2 |
| 2025-02-12 04:45:21 +0100 | <hololeap> | > Just 2 <* Just 3 |
| 2025-02-12 04:45:13 +0100 | <lambdabot> | Just 3 |
| 2025-02-12 04:45:11 +0100 | <hololeap> | > Just 2 *> Just 3 |
| 2025-02-12 04:44:46 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-12 04:42:09 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-12 04:39:45 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-12 04:37:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-12 04:33:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-12 04:30:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-12 04:27:47 +0100 | <albet70> | *> is and operator in python |
| 2025-02-12 04:27:47 +0100 | lockywolf | (~lockywolf@213.165.252.237) lockywolf |
| 2025-02-12 04:27:12 +0100 | <lambdabot> | Nothing |
| 2025-02-12 04:27:10 +0100 | <albet70> | > Just 3 *> Nothing |
| 2025-02-12 04:26:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-12 04:24:28 +0100 | <albet70> | wrong |
| 2025-02-12 04:24:19 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-12 04:24:16 +0100 | <albet70> | f Nothing (Just 3) == Just 3 |
| 2025-02-12 04:23:52 +0100 | <albet70> | forgot opposite, my bad English |
| 2025-02-12 04:23:27 +0100 | <monochrom> | I don't know what opposite means. Can you show all 4 cases? |
| 2025-02-12 04:22:10 +0100 | <albet70> | f Just1 Just2 == Just2 |
| 2025-02-12 04:21:53 +0100 | <albet70> | f Just 3 Nothing== Nothing |