Newest at the top
| 2026-02-27 16:39:34 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-02-27 16:35:14 +0100 | housemate | (~housemate@202.7.248.67) (Ping timeout: 248 seconds) |
| 2026-02-27 16:32:55 +0100 | tromp | (~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e) |
| 2026-02-27 16:32:38 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-02-27 16:29:38 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1) |
| 2026-02-27 16:28:12 +0100 | tromp | (~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-27 16:24:14 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 252 seconds) |
| 2026-02-27 16:22:05 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-27 16:21:50 +0100 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 245 seconds) |
| 2026-02-27 16:21:28 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-27 16:21:02 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-02-27 16:20:07 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 16:19:56 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-27 16:16:10 +0100 | acidjnk | (~acidjnk@p200300d6e700e5504d503f6022936b58.dip0.t-ipconnect.de) acidjnk |
| 2026-02-27 16:14:32 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-02-27 16:13:20 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-27 15:55:04 +0100 | <yin> | well i guess i'll comment the hell out of it |
| 2026-02-27 15:51:57 +0100 | <lambdabot> | ap |
| 2026-02-27 15:51:57 +0100 | <int-e> | @pl \f g x -> f x (g x) |
| 2026-02-27 15:51:34 +0100 | <lambdabot> | Applicative ((->) w) => (w -> (a -> b)) -> (w -> a) -> w -> b |
| 2026-02-27 15:51:33 +0100 | <yin> | :t (<*>) @((->) _) |
| 2026-02-27 15:50:39 +0100 | <int-e> | yes it is |
| 2026-02-27 15:50:15 +0100 | <yin> | is this <*> ? |
| 2026-02-27 15:49:37 +0100 | <yin> | oh wait |
| 2026-02-27 15:48:05 +0100 | <yin> | i find myself using this all the time, under some form or another |
| 2026-02-27 15:47:48 +0100 | <yin> | for `liftA2 f id g` |
| 2026-02-27 15:47:34 +0100 | <yin> | is there a more appropriate abstraction? |
| 2026-02-27 15:47:04 +0100 | <lambdabot> | (Semigroup c, Enum c) => c -> c |
| 2026-02-27 15:47:03 +0100 | <yin> | :t liftA2 (<>) id succ |
| 2026-02-27 15:46:38 +0100 | <lambdabot> | (Semigroup c, Enum c) => c -> c |
| 2026-02-27 15:46:36 +0100 | <yin> | :t uncurry (<>) . (id &&& succ) |
| 2026-02-27 15:46:32 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 256 seconds) |
| 2026-02-27 15:45:44 +0100 | <lambdabot> | from the context: (Show a, FromExpr c) |
| 2026-02-27 15:45:44 +0100 | <lambdabot> | • Could not deduce ‘Show b0’ arising from a use of ‘g’ |
| 2026-02-27 15:45:44 +0100 | <lambdabot> | error: [GHC-39999] |
| 2026-02-27 15:45:42 +0100 | <yin> | :t uncurry g . (id &&& f) |
| 2026-02-27 15:45:28 +0100 | <yin> | @pl uncurry g . (id &&& f) |
| 2026-02-27 15:41:51 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 15:39:11 +0100 | sixfourtwelve | (~ethanmorg@static.82.129.225.46.clients.your-server.de) |
| 2026-02-27 15:37:51 +0100 | sixfourtwelve | (~ethanmorg@static.82.129.225.46.clients.your-server.de) (Quit: leaving) |
| 2026-02-27 15:31:43 +0100 | Googulator69 | (~Googulato@team.broadbit.hu) |
| 2026-02-27 15:31:25 +0100 | Googulator69 | (~Googulato@team.broadbit.hu) (Quit: Client closed) |
| 2026-02-27 15:27:11 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-27 15:24:57 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-27 15:24:20 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-02-27 15:00:57 +0100 | tydes | (~tydes@user/ttydes) ttydes |
| 2026-02-27 14:57:44 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:f2e9:bf08:81c5:a9a2) |
| 2026-02-27 14:48:30 +0100 | rekahsoft | (~rekahsoft@76.67.111.168) rekahsoft |
| 2026-02-27 14:41:45 +0100 | lbseale | (~quassel@user/ep1ctetus) (Client Quit) |
| 2026-02-27 14:37:59 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |