Newest at the top
| 2025-06-09 00:09:51 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
| 2025-06-09 00:07:16 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-06-09 00:06:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-09 00:06:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-09 00:04:34 +0200 | loreto | (~loreto@user/loreto) loreto |
| 2025-06-09 00:04:33 +0200 | jespada | (~jespada@r179-24-24-141.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 2025-06-09 00:00:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-09 00:00:09 +0200 | jespada | (~jespada@r179-24-24-141.dialup.adsl.anteldata.net.uy) jespada |
| 2025-06-09 00:00:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-08 23:53:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-08 23:53:23 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
| 2025-06-08 23:53:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-08 23:50:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-08 23:50:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-08 23:50:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-08 23:46:57 +0200 | loreto | (~loreto@user/loreto) loreto |
| 2025-06-08 23:46:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-08 23:46:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-08 23:42:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-08 23:42:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-08 23:39:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-08 23:35:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-08 23:35:26 +0200 | nefercheprure | TMA |
| 2025-06-08 23:35:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-08 23:34:23 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
| 2025-06-08 23:32:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-08 23:31:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-08 23:31:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-08 23:30:27 +0200 | <lyxia> | it's an understandable mistake to make |
| 2025-06-08 23:29:45 +0200 | <talismanick> | which makes sense |
| 2025-06-08 23:29:38 +0200 | <talismanick> | I just wrote the instance out manually and... `fmap f (AStream s) = AStream $ f <$> s` |
| 2025-06-08 23:29:19 +0200 | <talismanick> | lyxia: you're right |
| 2025-06-08 23:29:13 +0200 | loreto | (~loreto@user/loreto) loreto |
| 2025-06-08 23:27:17 +0200 | <lyxia> | talismanick: (<$>) on AStream does not do what you think it does. You want it to do f <$> AStream s = AStream (f s) but (<$>) has the wrong type for that |
| 2025-06-08 23:25:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-08 23:25:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-08 23:20:54 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-06-08 23:20:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-08 23:20:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-06-08 23:20:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-08 23:19:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-08 23:17:55 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
| 2025-06-08 23:16:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-06-08 23:15:14 +0200 | <talismanick> | It works if I instead write `append a (AStream s) = AStream $ a :> s` |
| 2025-06-08 23:13:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-08 23:13:17 +0200 | <talismanick> | Otherwise it would've errored on that |
| 2025-06-08 23:12:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-08 23:12:33 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-06-08 23:12:10 +0200 | <talismanick> | and yeah, I already had `deriving Functor` |
| 2025-06-08 23:11:43 +0200 | <talismanick> | EvanR: err, I meant to write `AStream a = ...` |