Newest at the top
| 2025-03-31 10:21:14 +0200 | rit | (~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) (Remote host closed the connection) |
| 2025-03-31 10:20:42 +0200 | <[exa]> | (btw this is for use in a fold, I was mildly annoyed that Bifoldable actually doesn't fold the 2 things in parallel but it squashes them together) |
| 2025-03-31 10:20:09 +0200 | <[exa]> | cool, thanks |
| 2025-03-31 10:18:59 +0200 | <[exa]> | ooooh good |
| 2025-03-31 10:18:48 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-31 10:18:38 +0200 | <Leary> | Well, `biliftA2` could be your `zipBoth`. |
| 2025-03-31 10:18:15 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2025-03-31 10:18:03 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
| 2025-03-31 10:17:55 +0200 | <[exa]> | I somehow thought this would be in tuple.extra or in bifunctors, so that I could at least write something like `zipBoth (+) (+)` but nope |
| 2025-03-31 10:17:25 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f6101a7bfc96b38a12d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-03-31 10:16:40 +0200 | <[exa]> | Leary: /me sad |
| 2025-03-31 10:15:48 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-03-31 10:15:40 +0200 | <Leary> | Yes, pester the CLC to let `instance (Num a, Num b) => Num (a, b)` into base. |
| 2025-03-31 10:13:32 +0200 | <[exa]> | is there some library way to avoid writing (\(a,b) (c,d) -> (a+c, b+d)) ? |
| 2025-03-31 10:13:20 +0200 | <Leary> | hellwolf: Should be equivalent. `f = Identity` gives you one direction and `p = PostCompose f q` the other, where `newtype PostCompose f q x y = MkPC (q x (f y))`. |
| 2025-03-31 10:12:34 +0200 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-03-31 10:11:45 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-03-31 10:09:39 +0200 | vgtw | (~vgtw@user/vgtw) (Client Quit) |
| 2025-03-31 10:06:50 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-03-31 10:06:18 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-03-31 10:05:41 +0200 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-03-31 10:04:05 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-03-31 10:03:41 +0200 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2025-03-31 10:03:37 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-03-31 09:56:38 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-31 09:51:29 +0200 | <EvanR> | you mean f = Identity ? |
| 2025-03-31 09:50:29 +0200 | <hellwolf> | what is it? |
| 2025-03-31 09:50:27 +0200 | <hellwolf> | What if there is no functor instance: forall p. Profunctor p => p a b -> p s t |
| 2025-03-31 09:50:01 +0200 | <hellwolf> | This is Iso: type Iso s t a b = forall p f. (Profunctor p, Functor f) => p a (f b) -> p s (f t) |
| 2025-03-31 09:50:01 +0200 | <hellwolf> | Question about Lens |
| 2025-03-31 09:43:46 +0200 | rit | (~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) |
| 2025-03-31 09:43:04 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-03-31 09:42:05 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-03-31 09:37:51 +0200 | boobs_ | XZDX |
| 2025-03-31 09:37:38 +0200 | XZDX | boobs_ |
| 2025-03-31 09:34:57 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-03-31 09:32:36 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-03-31 09:31:57 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-03-31 09:31:52 +0200 | chele | (~chele@user/chele) chele |
| 2025-03-31 09:20:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-31 09:18:34 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-03-31 09:18:12 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 2025-03-31 09:17:21 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-03-31 09:16:55 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2025-03-31 09:15:59 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-03-31 09:15:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-31 09:04:04 +0200 | divya | (divya@140.238.251.170) divya |
| 2025-03-31 09:03:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-31 09:01:21 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-31 09:00:59 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f6101a7bfc96b38a12d.dip0.t-ipconnect.de) acidjnk |