Newest at the top
| 2024-11-13 07:34:19 +0100 | Square | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2024-11-13 07:31:13 +0100 | Square2 | (~Square4@user/square) Square |
| 2024-11-13 07:26:58 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-13 07:26:22 +0100 | alphazone | (~alphazone@2.219.56.221) |
| 2024-11-13 07:24:26 +0100 | foul_owl | (~kerry@185.216.231.181) (Ping timeout: 255 seconds) |
| 2024-11-13 06:51:42 +0100 | michalz | (~michalz@185.246.207.201) |
| 2024-11-13 06:18:45 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-11-13 06:17:37 +0100 | <lambdabot> | (Ixed s, Monoid (IxValue s)) => Index s -> s -> IxValue s |
| 2024-11-13 06:17:36 +0100 | <Axman6> | @type \x -> view (ix x) `asAppliedTo` undefined |
| 2024-11-13 06:17:20 +0100 | <Axman6> | I was trying to get it to expand the m to a function |
| 2024-11-13 06:16:58 +0100 | <Axman6> | it's just const with a resticted type, like all the things in lens which are just id |
| 2024-11-13 06:16:34 +0100 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-13 06:16:25 +0100 | <jackdk> | huh? |
| 2024-11-13 06:16:12 +0100 | <lambdabot> | (a -> b) -> a -> a -> b |
| 2024-11-13 06:16:11 +0100 | <jackdk> | @type asAppliedTo |
| 2024-11-13 06:12:54 +0100 | <lambdabot> | (MonadReader s m, Ixed s, Monoid (IxValue s)) => Index s -> m (IxValue s) |
| 2024-11-13 06:12:53 +0100 | <Axman6> | @type view . ix `asAppliedTo` undefined |
| 2024-11-13 06:08:05 +0100 | mange | (~user@user/mange) mange |
| 2024-11-13 05:53:38 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-13 05:50:56 +0100 | notzmv | (~daniel@user/notzmv) notzmv |
| 2024-11-13 05:46:44 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2024-11-13 05:44:55 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2024-11-13 05:40:48 +0100 | aforemny | (~aforemny@2001:9e8:6cde:dd00:e907:b368:5aa5:db2) (Ping timeout: 245 seconds) |
| 2024-11-13 05:40:06 +0100 | aforemny_ | (~aforemny@i59F4C560.versanet.de) aforemny |
| 2024-11-13 05:25:33 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2024-11-13 05:25:01 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2024-11-13 05:18:36 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-13 05:15:27 +0100 | <lambdabot> | (MonadReader s m, Ixed s, Monoid (IxValue s)) => Index s -> m (IxValue s) |
| 2024-11-13 05:15:27 +0100 | <dibblego> | @type view . ix |
| 2024-11-13 05:15:04 +0100 | <lambdabot> | (Ixed m, Applicative f) => Index m -> (IxValue m -> f (IxValue m)) -> m -> f m |
| 2024-11-13 05:15:03 +0100 | <dibblego> | @type ix |
| 2024-11-13 04:53:44 +0100 | <EvanR> | more like [a] -> Int -> a or crash, who knows |
| 2024-11-13 04:53:15 +0100 | <EvanR> | this type signature for this operation is so disappoint |
| 2024-11-13 04:50:40 +0100 | <lambdabot> | [a] -> Int -> a |
| 2024-11-13 04:50:39 +0100 | <EvanR> | :t (!!) |
| 2024-11-13 04:50:03 +0100 | <EvanR> | inany case [0..] !! maxBound, maxBound +1, maxBound - 1 all make sense, it's infinite. Other than maxBound + 1 not being a thing |
| 2024-11-13 04:47:09 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-11-13 04:44:42 +0100 | alp | (~alp@2001:861:e3d6:8f80:a847:8724:8ab7:c88b) |
| 2024-11-13 04:36:41 +0100 | alphazone | (~alphazone@2.219.56.221) (Ping timeout: 252 seconds) |
| 2024-11-13 04:32:38 +0100 | td_ | (~td@i53870901.versanet.de) |
| 2024-11-13 04:30:49 +0100 | td_ | (~td@i5387092B.versanet.de) (Ping timeout: 252 seconds) |
| 2024-11-13 04:20:48 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-13 03:58:07 +0100 | glguy | (glguy@libera/staff/glguy) glguy |
| 2024-11-13 03:53:04 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-13 03:51:01 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-13 03:49:48 +0100 | alp | (~alp@2001:861:e3d6:8f80:46dd:be45:db8:fbc7) (Ping timeout: 272 seconds) |
| 2024-11-13 03:47:33 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-11-13 03:46:33 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2024-11-13 03:40:09 +0100 | glguy | (glguy@libera/staff/glguy) (Quit: Quit) |
| 2024-11-13 03:31:07 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |