Newest at the top
2025-09-24 06:39:09 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-09-24 06:38:47 +0200 | kerxphilox__ | (~kerxphilo@2603:8001:9100:2aab:1432:3f88:100a:2952) (Quit: Leaving) |
2025-09-24 06:37:39 +0200 | pyrex | (~pyrex@user/pyrex) (Ping timeout: 258 seconds) |
2025-09-24 06:37:36 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-09-24 06:37:05 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2025-09-24 06:34:10 +0200 | michalz | (~michalz@185.246.207.203) |
2025-09-24 06:32:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-24 06:31:10 +0200 | <lambdabot> | error: parse error on input ‘:’ |
2025-09-24 06:31:09 +0200 | <pyrex> | :t :t |
2025-09-24 06:30:56 +0200 | qqe | (~qqq@185.54.23.100) |
2025-09-24 06:28:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-24 06:24:22 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-09-24 06:24:20 +0200 | <lambdabot> | Fractional a => a |
2025-09-24 06:24:20 +0200 | <fgarcia> | :t 1/0 |
2025-09-24 06:20:40 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-09-24 06:19:04 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
2025-09-24 06:17:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-24 06:12:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-24 06:11:50 +0200 | kerxphilox__ | (~kerxphilo@2603:8001:9100:2aab:1432:3f88:100a:2952) |
2025-09-24 06:10:50 +0200 | Googulator6 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
2025-09-24 06:10:43 +0200 | Googulator53 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-24 06:10:22 +0200 | kerxphilox__ | (~kerxphilo@2603:8001:9100:2aab:1432:3f88:100a:2952) (Ping timeout: 265 seconds) |
2025-09-24 06:09:15 +0200 | <lambdabot> | • Perhaps you meant one of these: |
2025-09-24 06:09:15 +0200 | <lambdabot> | • Variable not in scope: unfold |
2025-09-24 06:09:15 +0200 | <lambdabot> | error: |
2025-09-24 06:09:14 +0200 | <pyrex> | :t unfold |
2025-09-24 06:09:09 +0200 | <lambdabot> | (Foldable t, Monoid m) => t m -> m |
2025-09-24 06:09:08 +0200 | <pyrex> | :t fold |
2025-09-24 06:03:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-09-24 06:02:08 +0200 | <haskellbridge> | <Liamzee> i always thought of it as the definitive metamorphism, because you fold and unfold a data structure at the same time, but it seems you need discrete steps |
2025-09-24 06:02:02 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
2025-09-24 06:01:15 +0200 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 258 seconds) |
2025-09-24 06:00:54 +0200 | <haskellbridge> | <Liamzee> metamorphism is unfold . fold |
2025-09-24 06:00:43 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
2025-09-24 06:00:32 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2025-09-24 05:59:56 +0200 | aforemny | (~aforemny@2001:9e8:6cc5:d100:3ace:2858:c703:5d88) aforemny |
2025-09-24 05:59:30 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce6:7800:dd29:c11d:38d8:740d) (Ping timeout: 244 seconds) |
2025-09-24 05:56:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-24 05:55:18 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-09-24 05:55:08 +0200 | <Leary> | You can write `map` with both `cata` and `ana`. I don't know what a metamorphism is supposed to be. |
2025-09-24 05:53:18 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
2025-09-24 05:51:42 +0200 | pyrex | (~pyrex@user/pyrex) pyrex |
2025-09-24 05:51:33 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
2025-09-24 05:51:23 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
2025-09-24 05:49:30 +0200 | <haskellbridge> | <Liamzee> I always thought map was a metamorphism, according to kimi, it's an anamorphism |
2025-09-24 05:49:18 +0200 | <haskellbridge> | <Liamzee> fff, kimi is right, no? |
2025-09-24 05:47:15 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
2025-09-24 05:45:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-24 05:44:47 +0200 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
2025-09-24 05:42:17 +0200 | sp1ff | (~user@2601:1c2:4900:8209::a41) (Remote host closed the connection) |