Newest at the top
| 2025-09-24 06:52:58 +0200 | pyrex | (~pyrex@user/pyrex) pyrex |
| 2025-09-24 06:48:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-09-24 06:47:37 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 258 seconds) |
| 2025-09-24 06:46:35 +0200 | tt12310978324354 | (~tt1231@syn-075-185-104-199.res.spectrum.com) tt1231 |
| 2025-09-24 06:46:18 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 248 seconds) |
| 2025-09-24 06:43:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 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 |