| 2025-08-11 00:07:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 00:12:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 00:14:03 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-11 00:16:21 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-08-11 00:17:58 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-08-11 00:20:35 +0000 | jackdk | (uid373013@cssa/life/jackdk) jackdk |
| 2025-08-11 00:20:55 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-08-11 00:23:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 00:27:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-11 00:38:33 +0000 | dsal | (sid13060@id-13060.lymington.irccloud.com) (Server closed connection) |
| 2025-08-11 00:38:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 00:38:44 +0000 | dsal | (sid13060@id-13060.lymington.irccloud.com) dsal |
| 2025-08-11 00:40:54 +0000 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-08-11 00:43:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-11 00:46:28 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Read error: Connection reset by peer) |
| 2025-08-11 00:47:33 +0000 | T_S_____ | (sid501726@id-501726.uxbridge.irccloud.com) (Server closed connection) |
| 2025-08-11 00:47:42 +0000 | T_S_____ | (sid501726@id-501726.uxbridge.irccloud.com) |
| 2025-08-11 00:53:34 +0000 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Ping timeout: 252 seconds) |
| 2025-08-11 00:53:34 +0000 | hololeap | (~quassel@user/hololeap) (Ping timeout: 252 seconds) |
| 2025-08-11 00:53:34 +0000 | carbolymer | (~carbolyme@dropacid.net) (Ping timeout: 252 seconds) |
| 2025-08-11 00:54:00 +0000 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-08-11 00:54:00 +0000 | carbolymer | (~carbolyme@dropacid.net) carbolymer |
| 2025-08-11 00:54:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 00:54:40 +0000 | hololeap | (~quassel@user/hololeap) hololeap |
| 2025-08-11 00:55:22 +0000 | trickard_ | trickard |
| 2025-08-11 00:58:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-11 01:00:13 +0000 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) (Server closed connection) |
| 2025-08-11 01:00:24 +0000 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) S11001001 |
| 2025-08-11 01:01:13 +0000 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) (Server closed connection) |
| 2025-08-11 01:01:27 +0000 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) lexi-lambda |
| 2025-08-11 01:04:15 +0000 | <albet70> | hi |
| 2025-08-11 01:05:19 +0000 | <albet70> | addCPS a b k1; this k1's continuation k2 is not passing by parameter? k2 is written in k1's body? |
| 2025-08-11 01:07:32 +0000 | euouae | (~euouae@user/euouae) euouae |
| 2025-08-11 01:07:50 +0000 | <euouae> | When I want to document the lines where I'm being too clever, how should I place the comments? With -- ? |
| 2025-08-11 01:09:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 01:15:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-11 01:19:36 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-11 01:19:50 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-08-11 01:25:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 01:28:21 +0000 | <geekosaur> | euouae, I usually put it before with -- |
| 2025-08-11 01:29:58 +0000 | Square2 | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2025-08-11 01:32:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 01:40:46 +0000 | <euouae> | sounds good, thank you |
| 2025-08-11 01:43:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 01:43:49 +0000 | ynzoqn | (~ynzoqn@user/ynzoqn) ynzoqn |
| 2025-08-11 01:48:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-11 01:49:24 +0000 | ynzoqn52 | (~ynzoqn@user/ynzoqn) ynzoqn |
| 2025-08-11 01:49:38 +0000 | ynzoqn52 | (~ynzoqn@user/ynzoqn) (Client Quit) |
| 2025-08-11 01:49:52 +0000 | ynzoqn20 | (~ynzoqn@user/ynzoqn) ynzoqn |
| 2025-08-11 01:50:18 +0000 | ynzoqn20 | (~ynzoqn@user/ynzoqn) (Client Quit) |
| 2025-08-11 01:50:56 +0000 | ynzoqn85 | (~ynzoqn@user/ynzoqn) ynzoqn |
| 2025-08-11 01:51:24 +0000 | ynzoqn | (~ynzoqn@user/ynzoqn) (Ping timeout: 252 seconds) |
| 2025-08-11 01:51:32 +0000 | ynzoqn85 | ynzoqn |
| 2025-08-11 01:52:13 +0000 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) (Server closed connection) |
| 2025-08-11 01:52:25 +0000 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
| 2025-08-11 01:58:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 01:59:33 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2025-08-11 02:03:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-11 02:14:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 02:18:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 02:20:15 +0000 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-08-11 02:20:31 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-08-11 02:29:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 02:29:37 +0000 | jle` | (~jle`@2603:8001:3b00:11:298e:9dca:f965:ba97) (Quit: WeeChat 4.7.0) |
| 2025-08-11 02:34:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-11 02:39:39 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 260 seconds) |
| 2025-08-11 02:41:58 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-08-11 02:42:58 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 240 seconds) |
| 2025-08-11 02:43:39 +0000 | jle` | (~jle`@2603:8001:3b00:11:45b2:bb8:953d:fe48) jle` |
| 2025-08-11 02:45:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 02:46:17 +0000 | <ski> | albet70 : what's the code re that ? |
| 2025-08-11 02:46:48 +0000 | <ski> | before, or at the end of the line (if short), euouae |
| 2025-08-11 02:46:52 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 244 seconds) |
| 2025-08-11 02:47:21 +0000 | <ski> | you should also put longer implementation-related comments, at the top of a definition, perhaps between the signature and the defining clauses |
| 2025-08-11 02:49:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-11 02:49:37 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-08-11 02:50:29 +0000 | davidlbowman | (~dlb@user/davidlbowman) (Ping timeout: 248 seconds) |
| 2025-08-11 02:51:18 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-08-11 02:55:52 +0000 | <euouae> | ski: Oh is that how you do it? between signature and defining clausE? |
| 2025-08-11 02:56:04 +0000 | <euouae> | Because that's what I was asking about in particular, a longer implementation-related comment |
| 2025-08-11 02:59:47 +0000 | astra | amish |
| 2025-08-11 02:59:55 +0000 | amish | (sid289983@id-289983.hampstead.irccloud.com) (Changing host) |
| 2025-08-11 02:59:55 +0000 | amish | (sid289983@user/amish) amish |
| 2025-08-11 03:00:28 +0000 | amish | astra |
| 2025-08-11 03:00:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 03:05:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-11 03:06:09 +0000 | trickard_ | trickard |
| 2025-08-11 03:06:20 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-08-11 03:09:23 +0000 | <albet70> | ski , no code, I just wonder how the continuation's continuation would be |
| 2025-08-11 03:10:51 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 276 seconds) |
| 2025-08-11 03:11:36 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-08-11 03:14:42 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-08-11 03:15:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 03:19:48 +0000 | aforemny | (~aforemny@2001:9e8:6ccc:7e00:183f:1609:c28b:f90f) aforemny |
| 2025-08-11 03:20:34 +0000 | aforemny_ | (~aforemny@2001:9e8:6cef:6600:d9cb:2d88:358a:90e6) (Ping timeout: 272 seconds) |
| 2025-08-11 03:22:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-11 03:23:03 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2025-08-11 03:27:51 +0000 | <monochrom> | Are you just asking to see this? addCPS a b k1 = k1 (a + b) |
| 2025-08-11 03:34:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 03:35:08 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-11 03:35:21 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-08-11 03:38:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-11 03:43:36 +0000 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-08-11 03:44:10 +0000 | phma | (phma@2001:5b0:211f:1178:2435:fbec:74b:5e85) (Read error: Connection reset by peer) |
| 2025-08-11 03:46:44 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) (Ping timeout: 260 seconds) |
| 2025-08-11 03:47:10 +0000 | forell | (~forell@user/forell) (Ping timeout: 272 seconds) |
| 2025-08-11 03:47:55 +0000 | forell | (~forell@user/forell) forell |
| 2025-08-11 03:49:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 03:55:44 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-08-11 03:56:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 03:57:56 +0000 | jespada | (~jespada@2800:a4:2279:7200:9904:1f1e:69bd:aecf) (Ping timeout: 272 seconds) |
| 2025-08-11 04:00:50 +0000 | jespada | (~jespada@2800:a4:2219:9800:a55e:3e41:816a:f6ed) jespada |
| 2025-08-11 04:03:50 +0000 | <ski> | albet70 : typically, there would be none. you can iterate the CPS transform, though. i know of two (?) papers which talks about that, if you're curious |
| 2025-08-11 04:04:21 +0000 | <ski> | btw, with two levels of continuations, this is closely related to backtracking, in logic programming |
| 2025-08-11 04:04:42 +0000 | <ski> | it's also related to the Church encoding of lists, and of natural numbers |
| 2025-08-11 04:05:08 +0000 | <ski> | @unmtl ContT o m a |
| 2025-08-11 04:05:08 +0000 | <lambdabot> | (a -> m o) -> m o |
| 2025-08-11 04:05:19 +0000 | <ski> | @unmtl ContT o (ContT p m) a |
| 2025-08-11 04:05:19 +0000 | <lambdabot> | (a -> (o -> m p) -> m p) -> (o -> m p) -> m p |
| 2025-08-11 04:05:33 +0000 | <ski> | the second there is two levels of continuations |
| 2025-08-11 04:05:46 +0000 | phma | (phma@2001:5b0:211f:4d98:87b1:5b61:8c35:99f8) |
| 2025-08-11 04:06:01 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Server closed connection) |
| 2025-08-11 04:06:23 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2025-08-11 04:06:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 04:06:53 +0000 | <ski> | if you take |
| 2025-08-11 04:06:57 +0000 | <ski> | @unmtl ContT () (ContT p (ContT q m)) a |
| 2025-08-11 04:06:57 +0000 | <lambdabot> | (a -> (() -> (p -> m q) -> m q) -> (p -> m q) -> m q) -> (() -> (p -> m q) -> m q) -> (p -> m q) -> m q |
| 2025-08-11 04:07:03 +0000 | <ski> | er, no |
| 2025-08-11 04:07:10 +0000 | <ski> | @unmtl ContT () (ContT p m) a |
| 2025-08-11 04:07:10 +0000 | <lambdabot> | (a -> (() -> m p) -> m p) -> (() -> m p) -> m p |
| 2025-08-11 04:07:40 +0000 | phma | (phma@2001:5b0:211f:4d98:87b1:5b61:8c35:99f8) (Read error: Connection reset by peer) |
| 2025-08-11 04:07:57 +0000 | <ski> | this one. the `m p's are, if you investigae the corresponding CPS transform, passed around like a state (as in `StateT (m p)') |
| 2025-08-11 04:08:42 +0000 | <ski> | @unmtl ContT () (State (m p)) a |
| 2025-08-11 04:08:42 +0000 | <lambdabot> | (a -> m p -> ((), m p)) -> m p -> ((), m p) |
| 2025-08-11 04:09:20 +0000 | phma | (~phma@host-67-44-208-4.hnremote.net) |
| 2025-08-11 04:09:47 +0000 | <ski> | this observation can be used as an implementation strategy for composable/delimited/sub- continuations, by using a mutable state to keep track of the inner-level continuation |
| 2025-08-11 04:10:16 +0000 | <ski> | (instead of threading around state versions) |
| 2025-08-11 04:11:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 04:12:21 +0000 | duckworld | (~duckworld@user/duckworld) (Server closed connection) |
| 2025-08-11 04:12:36 +0000 | duckworld | (~duckworld@user/duckworld) duckworld |
| 2025-08-11 04:13:20 +0000 | Axman6 | (~Axman6@user/axman6) (Server closed connection) |
| 2025-08-11 04:21:00 +0000 | ynzoqn | (~ynzoqn@user/ynzoqn) (Ping timeout: 252 seconds) |
| 2025-08-11 04:21:48 +0000 | trickard_ | trickard |
| 2025-08-11 04:22:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 04:23:00 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-08-11 04:26:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-11 04:28:25 +0000 | ynzoqn | (~ynzoqn@user/ynzoqn) ynzoqn |
| 2025-08-11 04:31:44 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-08-11 04:37:04 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2025-08-11 04:37:29 +0000 | distopico | (~cerdolibr@xvm-111-150.dc2.ghst.net) (Ping timeout: 240 seconds) |
| 2025-08-11 04:37:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 04:38:44 +0000 | distopico | (~cerdolibr@xvm-111-150.dc2.ghst.net) distopico |
| 2025-08-11 04:38:52 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2025-08-11 04:38:52 +0000 | ChanServ | +v lambdabot |
| 2025-08-11 04:41:18 +0000 | phma | (~phma@host-67-44-208-4.hnremote.net) (Read error: Connection reset by peer) |
| 2025-08-11 04:41:42 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 252 seconds) |
| 2025-08-11 04:42:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 04:45:58 +0000 | phma | (phma@2001:5b0:211f:e8b8:5c88:56cb:7320:3f0c) |
| 2025-08-11 04:50:24 +0000 | JamesMowery1773 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 2025-08-11 04:51:51 +0000 | JamesMowery17736 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-08-11 04:53:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 04:59:42 +0000 | <albet70> | monochrom , yes, what k's continuation would be like |
| 2025-08-11 05:00:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-11 05:02:50 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2025-08-11 05:06:22 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 255 seconds) |
| 2025-08-11 05:06:22 +0000 | polykernel_ | polykernel |
| 2025-08-11 05:11:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 05:15:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-11 05:16:07 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-08-11 05:16:13 +0000 | mange | (~mange@user/mange) mange |
| 2025-08-11 05:17:35 +0000 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-08-11 05:19:28 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-08-11 05:22:01 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-08-11 05:22:23 +0000 | ynzoqn | (~ynzoqn@user/ynzoqn) (Quit: Client closed) |
| 2025-08-11 05:22:40 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-08-11 05:22:41 +0000 | ynzoqn | (~ynzoqn@user/ynzoqn) ynzoqn |
| 2025-08-11 05:26:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 05:26:53 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-08-11 05:29:26 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-08-11 05:30:04 +0000 | euouae | (~euouae@user/euouae) (Remote host closed the connection) |
| 2025-08-11 05:30:09 +0000 | ubert | (~Thunderbi@178.165.170.207.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2025-08-11 05:31:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 05:35:40 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-08-11 05:37:51 +0000 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2025-08-11 05:38:26 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-08-11 05:41:38 +0000 | <ski> | [| \(a,b) -> a + b |]_v = \((a,b),c) -> c (a + b) |
| 2025-08-11 05:41:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 05:41:59 +0000 | <ski> | [| \((a,b),c) -> c (a + b) |]_v = \(((a,b),c),k) -> c (a + b,k) |
| 2025-08-11 05:42:05 +0000 | <ski> | albet70 ^ |
| 2025-08-11 05:42:16 +0000 | <ski> | there you go |
| 2025-08-11 05:42:19 +0000 | <ski> | @type \((a,b),c) -> c (a + b) |
| 2025-08-11 05:42:20 +0000 | <lambdabot> | Num t1 => ((t1, t1), t1 -> t2) -> t2 |
| 2025-08-11 05:42:29 +0000 | <ski> | @type \(((a,b),c),k) -> c (a + b,k) |
| 2025-08-11 05:42:30 +0000 | <lambdabot> | Num a => (((a, a), (a, b) -> t), b) -> t |
| 2025-08-11 05:43:04 +0000 | <ski> | or, renaming a bit, using `Integer', and currying, we get |
| 2025-08-11 05:43:20 +0000 | <ski> | Integer -> Integer -> (Integer -> o) -> o |
| 2025-08-11 05:45:43 +0000 | <ski> | Integer -> Integer -> (Integer -> po -> p) -> po -> p |
| 2025-08-11 05:46:06 +0000 | <ski> | setting `po = p -> o', for the latter one, we get |
| 2025-08-11 05:46:22 +0000 | <ski> | Integer -> Integer -> (Integer -> (p -> o) -> p) -> (p -> o) -> p |
| 2025-08-11 05:46:31 +0000 | <ski> | and these two then becomes |
| 2025-08-11 05:46:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 05:46:45 +0000 | <ski> | Integer -> Integer -> Cont o Integer |
| 2025-08-11 05:47:23 +0000 | <ski> | er, no, we should use `po = o -> p', actually .. |
| 2025-08-11 05:47:35 +0000 | <ski> | Integer -> Integer -> (Integer -> (o -> p) -> p) -> (o -> p) -> p |
| 2025-08-11 05:47:48 +0000 | <ski> | so |
| 2025-08-11 05:48:01 +0000 | <ski> | Integer -> Integer -> (Integer -> Cont p o) -> Cont p o |
| 2025-08-11 05:48:20 +0000 | <ski> | Integer -> Integer -> ContT o (Cont p) Integer |
| 2025-08-11 05:49:26 +0000 | <ski> | the former, `Integer -> Integer -> Cont o Integer', could be adapted, by replacing `o' by `m o', getting `Integer -> Integer -> ContT o m Integer' |
| 2025-08-11 05:49:48 +0000 | <ski> | similarly, the latter can be adapted to `Integer -> Integer -> ContT o (ContT p m) Integer' |
| 2025-08-11 05:50:30 +0000 | <ski> | albet70 : that helps, any ? |
| 2025-08-11 05:50:33 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2025-08-11 05:50:39 +0000 | trickard__ | (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-11 05:52:19 +0000 | ynzoqn | (~ynzoqn@user/ynzoqn) () |
| 2025-08-11 05:52:42 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 276 seconds) |
| 2025-08-11 05:52:42 +0000 | trickard__ | trickard |
| 2025-08-11 05:54:04 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 255 seconds) |
| 2025-08-11 05:54:04 +0000 | polykernel_ | polykernel |
| 2025-08-11 05:55:25 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 255 seconds) |
| 2025-08-11 05:56:26 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-08-11 06:00:44 +0000 | mzg | (mzg@abusers.hu) (Server closed connection) |
| 2025-08-11 06:00:51 +0000 | mzg | (mzg@abusers.hu) |
| 2025-08-11 06:07:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 06:09:58 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-08-11 06:12:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 06:19:52 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2025-08-11 06:23:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 06:24:29 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-08-11 06:28:10 +0000 | <dibblego> | It is my understanding of Applicative laws, that left and right should always be equal, what am I missing? https://play.haskell.org/saved/wLdeG3EL |
| 2025-08-11 06:28:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-11 06:29:24 +0000 | Ekho | (~Ekho@user/ekho) (Server closed connection) |
| 2025-08-11 06:30:17 +0000 | trickard | (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-11 06:31:02 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-08-11 06:32:46 +0000 | <ski> | albet70 : exercise, write `selectC :: (Foldable t,Monad m) => t a -> ContT () m a' (using `for_'), `selectCC :: Foldable t => t a -> ContT () (ContT o m) a' (using `foldr'), and then the corresponding "run" functions `collectCS :: ContT () (State [a]) a -> [a]' and `collectCCL :: ContT () (ContT a []) a -> [a]'. compute `collectCS (selectC [2,3,5,7])' and `collectCCL (selectCC [2,3,5,7])' |
| 2025-08-11 06:38:19 +0000 | doyougnu | (~doyougnu@38.175.72.111) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-08-11 06:38:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 06:39:45 +0000 | <c_wraith> | dibblego: are you basing that on the composition law? |
| 2025-08-11 06:40:03 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-08-11 06:40:15 +0000 | Ekho | (~Ekho@user/ekho) Ekho |
| 2025-08-11 06:40:19 +0000 | <c_wraith> | because the parens in right are different from the composition law |
| 2025-08-11 06:40:35 +0000 | doyougnu | (~doyougnu@38.175.72.111) doyougnu |
| 2025-08-11 06:40:46 +0000 | <dibblego> | c_wraith: yes, also, listed here more explicitly: https://hackage-content.haskell.org/package/semigroupoids-6.0.1/docs/Data-Functor-Apply.html#t:Apply |
| 2025-08-11 06:41:02 +0000 | <c_wraith> | You need right = (. f) <$> x <*> y |
| 2025-08-11 06:41:13 +0000 | <c_wraith> | adding parens changes the association |
| 2025-08-11 06:41:15 +0000 | <dibblego> | darnit, thank you |
| 2025-08-11 06:42:19 +0000 | <ski> | ($ 99) <$> (x <*> (f <$> y)) = ($ 99) <$> (Just (*) <*> ((+ 1) <$> Just 7)) = ($ 99) <$> (Just ((7 + 1) *))) = Just ((7 + 1) * 99) |
| 2025-08-11 06:42:22 +0000 | <ski> | ($ 99) <$> ((. f) <$> (x <*> y)) = ($ 99) <$> ((. (+ 1)) <$> (Just (*) <*> Just 7)) = ($ 99) <$> Just ((7 *) . (+ 1)) = Just (7 * (99 + 1)) |
| 2025-08-11 06:42:52 +0000 | <dibblego> | yeah, I just skipped over that, thanks |
| 2025-08-11 06:43:48 +0000 | <ski> | mm, that looks more sensible, with that association |
| 2025-08-11 06:44:38 +0000 | <c_wraith> | I didn't bother actually working out the way each calculates. I just looked at the law, noticed that the association looked off, and tested changing it. :) |
| 2025-08-11 06:45:06 +0000 | ski | didn't recognize where it was supposed to be taken from |
| 2025-08-11 06:45:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-11 06:49:53 +0000 | <c_wraith> | I looked at the laws listed in https://hackage.haskell.org/package/base-4.21.0.0/docs/Control-Applicative.html |
| 2025-08-11 06:50:00 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-11 06:50:09 +0000 | <c_wraith> | I never actually remember what they are - just that they're really squirrely compared to the monad laws |
| 2025-08-11 06:50:33 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-08-11 06:50:45 +0000 | LBRB | (~user@user/LBRB) LBRB |
| 2025-08-11 06:52:53 +0000 | <ski> | pure (.) <*> u <*> v <*> w = u <*> (v <*> w) -- Composition |
| 2025-08-11 06:53:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 06:53:47 +0000 | <ski> | not seeing how `x <*> (f <$> y) = (. f) <$> x <*> y)' follows, really |
| 2025-08-11 06:53:53 +0000 | <ski> | hm. i guess |
| 2025-08-11 06:54:06 +0000 | <ski> | u <*> pure y = pure ($ y) <*> u -- Interchange |
| 2025-08-11 06:54:09 +0000 | <ski> | may be involved |
| 2025-08-11 06:54:28 +0000 | <c_wraith> | nah, the only thing involved is pure f <*> x === f <$> x |
| 2025-08-11 06:54:52 +0000 | <c_wraith> | that's the only rewrite away from it being exactly the composition law |
| 2025-08-11 06:55:01 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 276 seconds) |
| 2025-08-11 06:55:19 +0000 | AlexNoo | (~AlexNoo@178.34.150.240) (Ping timeout: 260 seconds) |
| 2025-08-11 06:55:33 +0000 | <c_wraith> | Oh, no. You're right, you need to factor the f in. |
| 2025-08-11 06:55:49 +0000 | <ski> | the order is swapped |
| 2025-08-11 06:57:17 +0000 | raym | (~ray@user/raym) (Remote host closed the connection) |
| 2025-08-11 06:58:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 06:58:27 +0000 | <c_wraith> | ok, yeah. that gets interchange involved |
| 2025-08-11 06:59:28 +0000 | acidjnk | (~acidjnk@p200300d6e7171949546b19bac1316c06.dip0.t-ipconnect.de) acidjnk |
| 2025-08-11 07:00:02 +0000 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-08-11 07:00:46 +0000 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-08-11 07:04:02 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-11 07:04:10 +0000 | tromp | (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) |
| 2025-08-11 07:04:20 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-08-11 07:04:59 +0000 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
| 2025-08-11 07:05:10 +0000 | arahael | (~arahael@user/arahael) arahael |
| 2025-08-11 07:05:31 +0000 | <Leary> | I hate the `Applicative` laws in the haddocks. They should just be associativity of `liftA2 (.)` with identity `pure id`. |
| 2025-08-11 07:08:17 +0000 | laman | (laman@rego.ai) (Server closed connection) |
| 2025-08-11 07:08:41 +0000 | laman | (laman@rego.ai) laman |
| 2025-08-11 07:09:10 +0000 | <ski> | @type GHC.Base.liftA2 |
| 2025-08-11 07:09:11 +0000 | <lambdabot> | Applicative f => (a -> b -> c) -> f a -> f b -> f c |
| 2025-08-11 07:09:16 +0000 | <ski> | (that's a method) |
| 2025-08-11 07:17:26 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-08-11 07:20:53 +0000 | ft | (~ft@p3e9bcd7f.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-08-11 07:27:42 +0000 | arahael | (~arahael@user/arahael) (Ping timeout: 260 seconds) |
| 2025-08-11 07:31:07 +0000 | chele | (~chele@user/chele) chele |
| 2025-08-11 07:32:04 +0000 | jreicher | (~user@user/jreicher) (Ping timeout: 260 seconds) |
| 2025-08-11 07:32:56 +0000 | jreicher | (~user@user/jreicher) jreicher |
| 2025-08-11 07:45:24 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2025-08-11 07:45:41 +0000 | tromp | (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-11 07:45:57 +0000 | LBRB | (~user@user/LBRB) (Ping timeout: 252 seconds) |
| 2025-08-11 07:50:04 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-08-11 07:50:06 +0000 | dfordivam1 | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (Server closed connection) |
| 2025-08-11 07:50:35 +0000 | dfordivam1 | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) dfordivam |
| 2025-08-11 07:55:28 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-08-11 07:56:55 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2025-08-11 07:59:45 +0000 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) (Server closed connection) |
| 2025-08-11 07:59:51 +0000 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) |
| 2025-08-11 08:00:06 +0000 | <jackdk> | Now that it's a method, could they be revised? |
| 2025-08-11 08:00:39 +0000 | tromp | (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) |
| 2025-08-11 08:05:07 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-11 08:07:02 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-08-11 08:07:43 +0000 | glguy | (glguy@libera/staff/glguy) (Ping timeout: 624 seconds) |
| 2025-08-11 08:14:58 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-08-11 08:19:25 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2025-08-11 08:19:52 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2025-08-11 08:25:33 +0000 | tromp | (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-11 08:26:10 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-08-11 08:27:01 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-08-11 08:30:24 +0000 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-08-11 08:30:51 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-08-11 08:31:36 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-08-11 08:31:38 +0000 | Digit | (~user@user/digit) Digit |
| 2025-08-11 08:40:01 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-08-11 08:42:14 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-08-11 08:43:40 +0000 | img | (~img@user/img) img |
| 2025-08-11 09:18:00 +0000 | <ski> | not sure it's officially a method, rather than just for efficiency |
| 2025-08-11 09:23:33 +0000 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-08-11 09:26:19 +0000 | stilgart | (~Christoph@2001:41d0:2:8673::42) (Server closed connection) |
| 2025-08-11 09:26:28 +0000 | stilgart | (~Christoph@2001:41d0:2:8673::42) stilgart |
| 2025-08-11 09:28:15 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-08-11 09:29:48 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-08-11 09:30:29 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-08-11 09:33:08 +0000 | glguy | (glguy@libera/staff/glguy) glguy |
| 2025-08-11 09:33:25 +0000 | glguy | (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2025-08-11 09:33:44 +0000 | glguy | (glguy@libera/staff/glguy) glguy |
| 2025-08-11 09:41:56 +0000 | glguy_ | (glguy@libera/staff/glguy) glguy |
| 2025-08-11 09:42:11 +0000 | glguy_ | (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2025-08-11 09:42:31 +0000 | glguy_ | (glguy@libera/staff/glguy) glguy |
| 2025-08-11 09:42:45 +0000 | glguy | (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2025-08-11 09:42:52 +0000 | tromp | (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) |
| 2025-08-11 09:43:21 +0000 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-08-11 09:43:48 +0000 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-08-11 09:50:37 +0000 | traxex | (traxex@user/traxex) (K-Lined) |
| 2025-08-11 09:54:17 +0000 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-08-11 10:04:06 +0000 | dhil | (~dhil@5.151.29.140) dhil |
| 2025-08-11 10:04:13 +0000 | traxex | (traxex@user/traxex) traxex |
| 2025-08-11 10:08:21 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-08-11 10:08:40 +0000 | arahael | (~arahael@user/arahael) arahael |
| 2025-08-11 10:13:00 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-08-11 10:13:00 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-08-11 10:13:00 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-08-11 10:15:06 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-08-11 10:16:25 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2025-08-11 10:21:13 +0000 | euandreh | (~Thunderbi@2804:d59:892b:6600:cfc9:47d1:96e8:b32d) (Remote host closed the connection) |
| 2025-08-11 10:21:46 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-08-11 10:32:55 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-08-11 10:33:58 +0000 | Square | (~Square4@user/square) Square |
| 2025-08-11 10:36:57 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-08-11 10:38:48 +0000 | trickard_ | (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-11 10:39:45 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-08-11 10:45:46 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-08-11 10:55:42 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-08-11 10:55:52 +0000 | fp1 | (~Thunderbi@2001:708:150:10::72df) fp |
| 2025-08-11 10:58:09 +0000 | fp1 | fp |
| 2025-08-11 11:12:29 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-08-11 11:14:22 +0000 | califax | (~califax@user/califx) califx |
| 2025-08-11 11:17:17 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-08-11 11:22:12 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-08-11 11:22:19 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-08-11 11:23:04 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-08-11 11:28:51 +0000 | tromp | (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-11 11:33:50 +0000 | trickard_ | trickard |
| 2025-08-11 11:35:20 +0000 | <Square> | Is there any direct haddock support for documenting type arguments of class? |
| 2025-08-11 11:35:53 +0000 | <Square> | ...other than include mention of the arguments in the class documentation body that is. |
| 2025-08-11 11:43:05 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-11 11:46:24 +0000 | trickard | (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-11 11:46:38 +0000 | trickard_ | (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-11 11:48:56 +0000 | tromp | (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) |
| 2025-08-11 11:49:43 +0000 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!) |
| 2025-08-11 12:02:47 +0000 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) athan |
| 2025-08-11 12:18:59 +0000 | ynzoqn | (~ynzoqn@user/ynzoqn) ynzoqn |
| 2025-08-11 12:21:42 +0000 | <[exa]> | Square: probably not, does it even support "normal" function arguments? |
| 2025-08-11 12:22:25 +0000 | <Square> | [exa], Actually looks as if there is support for function arguments (but can't remember I've seen it used). |
| 2025-08-11 12:23:20 +0000 | <[exa]> | ha yes you can annotate the type |
| 2025-08-11 12:23:25 +0000 | <[exa]> | https://haskell-haddock.readthedocs.io/latest/markup.html#function-arguments |
| 2025-08-11 12:23:58 +0000 | <Square> | Sadly I don't find anything for type arguments of classes. |
| 2025-08-11 12:24:00 +0000 | <[exa]> | hm...can we declare and annotate the kind of the typeclass constraunt? :D |
| 2025-08-11 12:26:57 +0000 | <[exa]> | probably not |
| 2025-08-11 12:27:01 +0000 | glguy_ | glguy |
| 2025-08-11 12:33:53 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 248 seconds) |
| 2025-08-11 12:35:59 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-08-11 12:37:48 +0000 | phma | (phma@2001:5b0:211f:e8b8:5c88:56cb:7320:3f0c) (Read error: Connection reset by peer) |
| 2025-08-11 12:37:53 +0000 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
| 2025-08-11 12:44:38 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-08-11 12:50:41 +0000 | trickard_ | trickard |
| 2025-08-11 12:53:49 +0000 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2025-08-11 12:58:54 +0000 | exarkun | (~exarkun@user/exarkun) (Server closed connection) |
| 2025-08-11 12:59:45 +0000 | exarkun | (~exarkun@user/exarkun) exarkun |
| 2025-08-11 13:02:31 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-11 13:04:09 +0000 | davidlbowman | (~dlb@user/davidlbowman) (Quit: WeeChat 4.1.1) |
| 2025-08-11 13:04:40 +0000 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
| 2025-08-11 13:06:12 +0000 | jackdk | (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
| 2025-08-11 13:13:12 +0000 | fp | (~Thunderbi@2001:708:150:10::72df) (Ping timeout: 252 seconds) |
| 2025-08-11 13:13:54 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-08-11 13:17:55 +0000 | divya | (divya@140.238.251.170) (Server closed connection) |
| 2025-08-11 13:26:41 +0000 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp |
| 2025-08-11 13:27:40 +0000 | trickard | (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-11 13:27:54 +0000 | trickard_ | (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-11 13:31:01 +0000 | kuribas | (~user@ptr-17d51eoj04q0l82zsdl.18120a2.ip6.access.telenet.be) kuribas |
| 2025-08-11 13:33:11 +0000 | divya | (divya@140.238.251.170) divya |
| 2025-08-11 13:37:13 +0000 | bgamari_ | (~bgamari@64.223.225.237) (Server closed connection) |
| 2025-08-11 13:37:33 +0000 | bgamari | (~bgamari@64.223.225.237) |
| 2025-08-11 13:38:01 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 255 seconds) |
| 2025-08-11 13:40:16 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 255 seconds) |
| 2025-08-11 13:45:39 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-08-11 13:51:37 +0000 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 2025-08-11 13:52:11 +0000 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) hsw |
| 2025-08-11 13:54:26 +0000 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-08-11 13:54:49 +0000 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) hsw |
| 2025-08-11 13:56:31 +0000 | natto17 | (~natto@129.154.243.159) (Server closed connection) |
| 2025-08-11 13:58:29 +0000 | natto17 | (~natto@129.154.243.159) natto |
| 2025-08-11 14:03:23 +0000 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:7cbc:aef3:7637:77aa) youngfrog |
| 2025-08-11 14:04:05 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-08-11 14:04:22 +0000 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Read error: Connection reset by peer) |
| 2025-08-11 14:04:36 +0000 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp |
| 2025-08-11 14:05:16 +0000 | talisman` | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2025-08-11 14:08:30 +0000 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-08-11 14:11:33 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-08-11 14:17:54 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-08-11 14:19:12 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Read error: Connection reset by peer) |
| 2025-08-11 14:27:47 +0000 | trickard_ | trickard |
| 2025-08-11 14:30:41 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 248 seconds) |
| 2025-08-11 14:34:23 +0000 | tromp | (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-11 14:35:07 +0000 | swistak | (~swistak@185.21.216.141) (Server closed connection) |
| 2025-08-11 14:35:25 +0000 | swistak | (~swistak@185.21.216.141) |
| 2025-08-11 14:36:57 +0000 | trickard | (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-11 14:37:11 +0000 | trickard_ | (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-11 14:48:07 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 260 seconds) |
| 2025-08-11 14:50:05 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-08-11 14:54:27 +0000 | phma | (phma@2001:5b0:210b:deb8:6e74:5968:4a6e:e02b) |
| 2025-08-11 14:54:34 +0000 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Read error: Connection reset by peer) |
| 2025-08-11 14:54:37 +0000 | fp1 | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp |
| 2025-08-11 14:54:53 +0000 | ynzoqn | (~ynzoqn@user/ynzoqn) (Quit: Client closed) |
| 2025-08-11 14:55:27 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-08-11 14:57:11 +0000 | fp1 | fp |
| 2025-08-11 14:59:48 +0000 | tromp | (~textual@2001:1c00:3487:1b00:31f0:971:c727:4a62) |
| 2025-08-11 15:03:12 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-08-11 15:06:44 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-11 15:08:46 +0000 | phma | (phma@2001:5b0:210b:deb8:6e74:5968:4a6e:e02b) (Read error: Connection reset by peer) |
| 2025-08-11 15:17:13 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) (Server closed connection) |
| 2025-08-11 15:17:22 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2025-08-11 15:24:21 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-08-11 15:25:44 +0000 | trickard_ | trickard |
| 2025-08-11 15:32:46 +0000 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-08-11 15:37:03 +0000 | ft | (~ft@p3e9bcfa6.dip0.t-ipconnect.de) ft |
| 2025-08-11 15:39:58 +0000 | tromp | (~textual@2001:1c00:3487:1b00:31f0:971:c727:4a62) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-11 15:46:02 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-11 15:54:59 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-08-11 15:55:36 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-08-11 15:56:33 +0000 | phma | (phma@2001:5b0:210d:8b88:f11:9951:ebb6:c574) |
| 2025-08-11 15:58:15 +0000 | tccq | (~user@user/tccq) tccq |
| 2025-08-11 15:59:27 +0000 | tromp | (~textual@2001:1c00:3487:1b00:31f0:971:c727:4a62) |
| 2025-08-11 15:59:45 +0000 | tccq | (~user@user/tccq) (Client Quit) |
| 2025-08-11 16:00:04 +0000 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
| 2025-08-11 16:04:06 +0000 | tccq | (~user@user/tccq) tccq |
| 2025-08-11 16:07:45 +0000 | jespada | (~jespada@2800:a4:2219:9800:a55e:3e41:816a:f6ed) (Ping timeout: 248 seconds) |
| 2025-08-11 16:09:47 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-08-11 16:10:24 +0000 | jespada | (~jespada@2800:a4:233b:b400:5075:546:b1fd:c318) jespada |
| 2025-08-11 16:17:11 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-08-11 16:20:44 +0000 | td_ | (~td@i53870901.versanet.de) td_ |
| 2025-08-11 16:21:05 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-08-11 16:21:13 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-08-11 16:22:51 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-08-11 16:26:35 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-08-11 16:27:38 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
| 2025-08-11 16:33:58 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 255 seconds) |
| 2025-08-11 16:35:44 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-08-11 16:35:47 +0000 | pabs3 | (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.) |
| 2025-08-11 16:46:27 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-08-11 16:47:15 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-11 16:53:12 +0000 | dhil | (~dhil@5.151.29.140) (Ping timeout: 252 seconds) |
| 2025-08-11 16:59:47 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-08-11 17:00:15 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: ( juan@acm.org )) |
| 2025-08-11 17:01:07 +0000 | b7r6 | (~b7r6@user/b7r6) b7r6 |
| 2025-08-11 17:05:23 +0000 | stefan-__ | (~m-yh2rcc@42dots.de) (Remote host closed the connection) |
| 2025-08-11 17:05:34 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-08-11 17:10:34 +0000 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 276 seconds) |
| 2025-08-11 17:21:03 +0000 | tromp | (~textual@2001:1c00:3487:1b00:31f0:971:c727:4a62) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-11 17:23:51 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-08-11 17:25:03 +0000 | fkinos | (~fkinos@2804:14c:49:83b2:b721:115e:cda2:dec6) |
| 2025-08-11 17:26:12 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-08-11 17:26:36 +0000 | fkinos | (~fkinos@2804:14c:49:83b2:b721:115e:cda2:dec6) (Remote host closed the connection) |
| 2025-08-11 17:40:27 +0000 | tromp | (~textual@2001:1c00:3487:1b00:31f0:971:c727:4a62) |
| 2025-08-11 17:43:15 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-08-11 17:45:11 +0000 | Typedfern | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) (Server closed connection) |
| 2025-08-11 17:45:36 +0000 | Typedfern | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) typedfern |
| 2025-08-11 17:49:05 +0000 | b7r6 | (~b7r6@user/b7r6) (Ping timeout: 250 seconds) |
| 2025-08-11 18:00:23 +0000 | stefan-__ | (~m-yh2rcc@42dots.de) stefan-__ |
| 2025-08-11 18:05:47 +0000 | b7r6 | (~b7r6@user/b7r6) b7r6 |
| 2025-08-11 18:08:28 +0000 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 255 seconds) |
| 2025-08-11 18:11:07 +0000 | stefan-__ | (~m-yh2rcc@42dots.de) (Remote host closed the connection) |
| 2025-08-11 18:12:01 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-08-11 18:13:07 +0000 | stefan-__ | (~m-yh2rcc@42dots.de) stefan-__ |
| 2025-08-11 18:14:37 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-08-11 18:20:34 +0000 | trickard__ | (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 2025-08-11 18:21:04 +0000 | trickard | (~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-08-11 18:27:30 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-08-11 18:32:33 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-11 18:36:11 +0000 | tccq | (~user@user/tccq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
| 2025-08-11 18:37:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 18:44:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-11 18:44:39 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-08-11 18:45:56 +0000 | sprotte24 | (~sprotte24@p200300d16f2352007d3d768a06cccf7a.dip0.t-ipconnect.de) |
| 2025-08-11 18:49:03 +0000 | jackdk | (uid373013@cssa/life/jackdk) jackdk |
| 2025-08-11 18:51:04 +0000 | kuribas | (~user@ptr-17d51eoj04q0l82zsdl.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-08-11 18:52:25 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-08-11 18:52:26 +0000 | phma | (phma@2001:5b0:210d:8b88:f11:9951:ebb6:c574) (Read error: Connection reset by peer) |
| 2025-08-11 18:55:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 18:57:29 +0000 | phma | (~phma@host-67-44-208-80.hnremote.net) |
| 2025-08-11 18:59:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-08-11 19:00:00 +0000 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-08-11 19:00:37 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-08-11 19:00:42 +0000 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-08-11 19:01:13 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-08-11 19:02:50 +0000 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-08-11 19:06:55 +0000 | Square2 | (~Square@user/square) Square |
| 2025-08-11 19:10:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 19:11:01 +0000 | Square | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2025-08-11 19:15:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-11 19:16:06 +0000 | mellowtractor | (~user@180.151.196.242) |
| 2025-08-11 19:21:30 +0000 | mellowtractor | (~user@180.151.196.242) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
| 2025-08-11 19:26:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 19:26:15 +0000 | tromp | (~textual@2001:1c00:3487:1b00:31f0:971:c727:4a62) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-11 19:30:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-08-11 19:41:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 19:44:12 +0000 | sefidel | (~sefidel@user/sefidel) (Server closed connection) |
| 2025-08-11 19:44:26 +0000 | sefidel | (~sefidel@user/sefidel) sefidel |
| 2025-08-11 19:46:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-11 19:47:57 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-08-11 19:52:46 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-08-11 19:56:01 +0000 | b7r6 | (~b7r6@user/b7r6) (Quit: Client closed) |
| 2025-08-11 19:56:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 20:01:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-11 20:01:59 +0000 | tromp | (~textual@2001:1c00:3487:1b00:31f0:971:c727:4a62) |
| 2025-08-11 20:05:04 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-11 20:07:13 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-08-11 20:07:34 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-11 20:09:14 +0000 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-08-11 20:09:32 +0000 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 260 seconds) |
| 2025-08-11 20:10:25 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 2025-08-11 20:10:25 +0000 | ljdarj1 | ljdarj |
| 2025-08-11 20:10:57 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-08-11 20:12:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 20:15:42 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-08-11 20:16:49 +0000 | rvalue- | rvalue |
| 2025-08-11 20:17:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-11 20:22:04 +0000 | sp1ff | (~user@c-24-21-190-184.hsd1.wa.comcast.net) sp1ff |
| 2025-08-11 20:29:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 20:31:54 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-08-11 20:36:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-11 20:41:15 +0000 | Miroboru | (~myrvoll@84.215.249.36) (Ping timeout: 276 seconds) |
| 2025-08-11 20:44:18 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2025-08-11 20:46:37 +0000 | karenw | (~karenw@user/karenw) (Client Quit) |
| 2025-08-11 20:47:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 20:48:05 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2025-08-11 20:52:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 20:54:59 +0000 | tromp | (~textual@2001:1c00:3487:1b00:31f0:971:c727:4a62) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-11 20:55:30 +0000 | Miroboru | (~myrvoll@84.215.249.36) Miroboru |
| 2025-08-11 21:01:43 +0000 | tromp | (~textual@2001:1c00:3487:1b00:31f0:971:c727:4a62) |
| 2025-08-11 21:02:02 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-08-11 21:02:54 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 252 seconds) |
| 2025-08-11 21:03:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 21:04:24 +0000 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-08-11 21:04:24 +0000 | karenw | (~karenw@user/karenw) (Remote host closed the connection) |
| 2025-08-11 21:07:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 21:10:22 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-11 21:17:10 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) (Quit: bye!) |
| 2025-08-11 21:18:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 21:23:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 21:24:23 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-11 21:24:40 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 255 seconds) |
| 2025-08-11 21:24:50 +0000 | tromp | (~textual@2001:1c00:3487:1b00:31f0:971:c727:4a62) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-11 21:24:58 +0000 | jreicher | (~user@user/jreicher) jreicher |
| 2025-08-11 21:26:00 +0000 | phma | (~phma@host-67-44-208-80.hnremote.net) (Read error: Connection reset by peer) |
| 2025-08-11 21:27:48 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-11 21:30:11 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2025-08-11 21:33:31 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-08-11 21:34:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 21:40:28 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 240 seconds) |
| 2025-08-11 21:41:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-11 21:43:47 +0000 | phma | (phma@2001:5b0:211b:adc8:2e3f:1ec9:3506:fd4a) |
| 2025-08-11 21:46:09 +0000 | buhman | (sid411355@user/buhman) (Server closed connection) |
| 2025-08-11 21:46:26 +0000 | buhman | (sid411355@user/buhman) buhman |
| 2025-08-11 21:51:27 +0000 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 276 seconds) |
| 2025-08-11 21:52:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 21:52:35 +0000 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (Server closed connection) |
| 2025-08-11 21:52:48 +0000 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) Fangs |
| 2025-08-11 21:56:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-11 21:56:52 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-08-11 22:05:23 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-08-11 22:07:15 +0000 | fevcadsohge^ | (~fevdiasso@c-69-180-8-224.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2025-08-11 22:07:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 22:11:57 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-11 22:12:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-11 22:22:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 22:23:38 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-08-11 22:24:35 +0000 | fgarcia_ | (~lei@user/fgarcia) fgarcia |
| 2025-08-11 22:25:25 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 255 seconds) |
| 2025-08-11 22:26:30 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-11 22:27:23 +0000 | fgarcia_ | fgarcia |
| 2025-08-11 22:29:46 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-08-11 22:29:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-11 22:30:22 +0000 | acidjnk | (~acidjnk@p200300d6e7171949546b19bac1316c06.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2025-08-11 22:31:39 +0000 | trickard__ | trickard |
| 2025-08-11 22:34:10 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-08-11 22:39:09 +0000 | jespada | (~jespada@2800:a4:233b:b400:5075:546:b1fd:c318) (Ping timeout: 252 seconds) |
| 2025-08-11 22:40:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 22:45:13 +0000 | arahael | (~arahael@user/arahael) (Ping timeout: 255 seconds) |
| 2025-08-11 22:45:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 22:51:48 +0000 | jreicher | (~user@user/jreicher) (Quit: Dentist) |
| 2025-08-11 22:56:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 23:00:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-11 23:02:03 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2025-08-11 23:06:38 +0000 | sp1ff | (~user@c-24-21-190-184.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2025-08-11 23:06:53 +0000 | trickard | (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-11 23:07:07 +0000 | trickard_ | (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 2025-08-11 23:08:05 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-08-11 23:11:07 +0000 | trickard_ | (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-11 23:11:30 +0000 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-08-11 23:11:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 23:16:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 23:17:17 +0000 | trickard_ | (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 2025-08-11 23:19:26 +0000 | unlucy | (sid572875@user/unlucy) (Server closed connection) |
| 2025-08-11 23:19:55 +0000 | unlucy | (sid572875@user/unlucy) unlucy |
| 2025-08-11 23:21:37 +0000 | unjust | (~nocarrier@user/unjust) unjust |
| 2025-08-11 23:24:31 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-08-11 23:25:26 +0000 | phma | (phma@2001:5b0:211b:adc8:2e3f:1ec9:3506:fd4a) (Read error: Connection reset by peer) |
| 2025-08-11 23:26:09 +0000 | andreas303 | (andreas303@is.drunk.and.ready-to.party) (Server closed connection) |
| 2025-08-11 23:27:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 23:28:00 +0000 | andreas303 | (andreas303@is.drunk.and.ready-to.party) andreas303 |
| 2025-08-11 23:30:28 +0000 | yegor | (~yegor@user/yegorc) (Excess Flood) |
| 2025-08-11 23:32:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-11 23:32:14 +0000 | yegor | (~yegor@user/yegorc) yegorc |
| 2025-08-11 23:32:40 +0000 | trickard_ | trickard |
| 2025-08-11 23:38:03 +0000 | arahael | (~arahael@user/arahael) arahael |
| 2025-08-11 23:38:29 +0000 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 248 seconds) |
| 2025-08-11 23:39:49 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-08-11 23:42:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 23:46:47 +0000 | sprotte24 | (~sprotte24@p200300d16f2352007d3d768a06cccf7a.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-08-11 23:47:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 23:53:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 23:57:24 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-11 23:57:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |