Newest at the top
| 2025-02-11 03:36:49 +0100 | <c_wraith> | which when combined with the Applicative constraint means that you can't use them with any choice of f that would actually contain a t |
| 2025-02-11 03:35:46 +0100 | <c_wraith> | The only thing special about a Fold is that they add a Contravariant constraint to f |
| 2025-02-11 03:35:10 +0100 | <c_wraith> | a Fold is still a function of shape `(a -> f b) -> s -> f t', so they compose with (.) like every other optic |
| 2025-02-11 03:33:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 03:29:41 +0100 | yegorc | (~yegorc@user/yegorc) (Leaving) |
| 2025-02-11 03:29:36 +0100 | <haskellbridge> | <thirdofmay18081814goya> Where is lens' Fold composition defined? |
| 2025-02-11 03:28:21 +0100 | Axma24393 | Axman6 |
| 2025-02-11 03:26:47 +0100 | [_________] | (~oos95GWG@user/oos95GWG) oos95GWG |
| 2025-02-11 03:26:46 +0100 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2025-02-11 03:25:54 +0100 | [_________] | (~oos95GWG@user/oos95GWG) (Ping timeout: 248 seconds) |
| 2025-02-11 03:25:54 +0100 | ggVGc | (~ggVGc@a.lowtech.earth) (Ping timeout: 248 seconds) |
| 2025-02-11 03:25:34 +0100 | bryanv | (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) |
| 2025-02-11 03:24:21 +0100 | bryanv | (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (Quit: No Ping reply in 180 seconds.) |
| 2025-02-11 03:24:18 +0100 | andreas303 | (andreas303@is.drunk.and.ready-to.party) andreas303 |
| 2025-02-11 03:24:15 +0100 | berberman | (~berberman@user/berberman) berberman |
| 2025-02-11 03:24:02 +0100 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-11 03:23:40 +0100 | andreas303 | (andreas303@is.drunk.and.ready-to.party) (Quit: fBNC - https://bnc4free.com) |
| 2025-02-11 03:23:23 +0100 | pikajude | (~jude@149.28.207.64) pikajude |
| 2025-02-11 03:23:19 +0100 | pounce | (~pounce@user/cute/pounce) pounce |
| 2025-02-11 03:23:14 +0100 | Vajb | (~Vajb@n84e9ei03jkqt6rm3ev-1.v6.elisa-mobile.fi) (Ping timeout: 248 seconds) |
| 2025-02-11 03:23:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-11 03:23:06 +0100 | pounce | (~pounce@user/cute/pounce) (Read error: Connection reset by peer) |
| 2025-02-11 03:23:03 +0100 | pikajude | (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-11 03:18:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 03:17:45 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-02-11 03:17:18 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2025-02-11 03:13:33 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-11 03:12:50 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-11 03:07:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-11 03:00:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 02:57:12 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-11 02:52:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-11 02:49:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-11 02:45:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 02:43:56 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-02-11 02:39:54 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-11 02:38:21 +0100 | <lisbeths> | bash_macros(){ while read -r i; do eval "$( printf "%s" "$i" | awk "$1" ; )" ; done ; } ; |
| 2025-02-11 02:34:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-11 02:29:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 02:25:23 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-02-11 02:24:35 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-11 02:20:41 +0100 | hammond | (proscan@gateway04.insomnia247.nl) |
| 2025-02-11 02:20:08 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 272 seconds) |
| 2025-02-11 02:19:50 +0100 | neto | (~Netnet@143-208-42-129.users.certto.com.br) (Remote host closed the connection) |
| 2025-02-11 02:19:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-11 02:19:29 +0100 | euouae | (~euouae@user/euouae) (Remote host closed the connection) |
| 2025-02-11 02:14:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 02:14:00 +0100 | neto | (~Netnet@143-208-42-129.users.certto.com.br) |
| 2025-02-11 02:09:39 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2025-02-11 02:07:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |