Newest at the top
| 2025-12-03 19:49:56 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-03 19:49:01 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-03 19:48:48 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-03 19:47:48 +0100 | <tomsmeding> | which sounds like it _ought_ to be true, but I don't know what to conclude that from |
| 2025-12-03 19:46:11 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-12-03 19:45:33 +0100 | <tomsmeding> | so it sounds like you're asking: if f's argument is representational, do we have `fmap coerce x = coerce x` for `x :: f (a -> b)` |
| 2025-12-03 19:44:24 +0100 | <tomsmeding> | well, `liftA2 f x y = f <$> x <*> y` is a law |
| 2025-12-03 19:42:46 +0100 | <haskellbridge> | <Zemyla> If f is representational and Applicative, then does that necessarily imply that liftA2 coerce a b = coerce a <*> b? |
| 2025-12-03 19:37:36 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-12-03 19:34:22 +0100 | skum | (~skum@user/skum) skum |
| 2025-12-03 19:33:59 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.7.2) |
| 2025-12-03 19:31:52 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-03 19:31:25 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) () |
| 2025-12-03 19:27:33 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-12-03 19:25:53 +0100 | <__monty__> | tomsmeding: That part of the structure is necessary. Ordering of the elements is significant. |
| 2025-12-03 19:23:52 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 19:23:46 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-03 19:23:38 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-03 19:18:11 +0100 | mulk | (~mulk@pd9514972.dip0.t-ipconnect.de) mulk |
| 2025-12-03 19:14:38 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-12-03 19:09:55 +0100 | mulk | (~mulk@pd9514972.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-12-03 19:09:08 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 19:08:44 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-03 19:05:46 +0100 | Googulator55 | (~Googulato@85-238-68-117.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-03 19:05:22 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2025-12-03 19:02:09 +0100 | wbooze | (~wbooze@2001-4dd7-9813-0-5961-9b55-d1ca-8eee.ipv6dyn.netcologne.de) Inline |
| 2025-12-03 18:59:01 +0100 | divlamir_ | divlamir |
| 2025-12-03 18:59:01 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 255 seconds) |
| 2025-12-03 18:56:57 +0100 | annamalai | (~annamalai@157.32.222.111) annamalai |
| 2025-12-03 18:56:37 +0100 | annamalai | (~annamalai@157.32.222.111) (Read error: Connection reset by peer) |
| 2025-12-03 18:56:08 +0100 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2025-12-03 18:47:42 +0100 | Jackneill | (~Jackneill@178-164-177-218.pool.digikabel.hu) Jackneill |
| 2025-12-03 18:47:32 +0100 | Jackneill | (~Jackneill@178-164-177-218.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-12-03 18:47:16 +0100 | pr1sm | (~pr1sm@24.91.163.31) (Remote host closed the connection) |
| 2025-12-03 18:42:18 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-12-03 18:41:54 +0100 | pr1sm | (~pr1sm@24.91.163.31) |
| 2025-12-03 18:41:49 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-12-03 18:40:25 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-12-03 18:39:53 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-12-03 18:36:04 +0100 | Googulator55 | (~Googulato@85-238-68-117.pool.digikabel.hu) |
| 2025-12-03 18:35:51 +0100 | Googulator55 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-03 18:28:16 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-03 18:26:23 +0100 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-12-03 18:23:51 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-03 18:19:50 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-03 18:17:11 +0100 | mikess | (~sam@user/mikess) mikess |
| 2025-12-03 18:15:16 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-03 18:15:11 +0100 | <lambdabot> | No results found |
| 2025-12-03 18:15:11 +0100 | <ski> | @hoogle (a -> [a] -> b -> b) -> b -> [a] -> b |
| 2025-12-03 18:13:39 +0100 | spew | (~spew@user/spew) (Ping timeout: 260 seconds) |