Newest at the top
| 2025-11-27 13:04:10 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-27 13:03:37 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 264 seconds) |
| 2025-11-27 12:59:47 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-11-27 12:56:17 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-27 12:55:16 +0100 | <dutchie> | lens has `fab ?? a = fmap ($ a) fab` |
| 2025-11-27 12:54:10 +0100 | <dutchie> | is there a neater way to do `Applicative f => f (a -> b) -> a -> f b` than `f <*> pure a` (f is already some `Ctor <$> fx <*> fy` thing) |
| 2025-11-27 12:53:54 +0100 | hseg_ | (~hseg_@2.54.43.248) hseg |
| 2025-11-27 12:53:35 +0100 | hseg_ | (~hseg_@46.120.21.70) (Ping timeout: 240 seconds) |
| 2025-11-27 12:51:01 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-27 12:46:39 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-27 12:46:35 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-27 12:45:26 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 244 seconds) |
| 2025-11-27 12:45:16 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-27 12:42:51 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-27 12:41:59 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-27 12:41:11 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-27 12:40:55 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 240 seconds) |
| 2025-11-27 12:39:09 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-27 12:38:12 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-27 12:32:18 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-27 12:30:35 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2025-11-27 12:25:25 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-27 12:25:20 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-27 12:18:35 +0100 | xff0x | (~xff0x@2405:6580:b080:900:7143:8b5a:1c3d:7f99) |
| 2025-11-27 12:16:58 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) X-Scale |
| 2025-11-27 12:16:20 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-27 12:15:35 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 240 seconds) |
| 2025-11-27 12:15:31 +0100 | noctux | (~noctux@user/noctux) noctux |
| 2025-11-27 12:13:13 +0100 | noctux | (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 2025-11-27 12:11:28 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-27 12:11:27 +0100 | <lucabtz> | right that wont work |
| 2025-11-27 12:09:31 +0100 | <lambdabot> | Expected type: (a -> b -> (a, c)) -> (a0, c1) |
| 2025-11-27 12:09:31 +0100 | <lambdabot> | • Couldn't match type ‘a -> t0 b -> (a, t0 c)’ with ‘(a0, c1)’ |
| 2025-11-27 12:09:31 +0100 | <lambdabot> | error: |
| 2025-11-27 12:09:30 +0100 | <lucabtz> | :t snd . mapAccumL |
| 2025-11-27 12:09:11 +0100 | <lucabtz> | thanks |
| 2025-11-27 12:09:04 +0100 | <lambdabot> | error: parse error on input ‘<’ |
| 2025-11-27 12:09:03 +0100 | <ent-_> | :t <expression> |
| 2025-11-27 12:08:50 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-11-27 12:08:50 +0100 | potatoespotatoes | (~quassel@130.44.145.181) (Changing host) |
| 2025-11-27 12:08:50 +0100 | potatoespotatoes | (~quassel@130.44.145.181) |
| 2025-11-27 12:08:44 +0100 | <lucabtz> | what is the command to get the type of an expression? |
| 2025-11-27 12:08:24 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) (Client Quit) |
| 2025-11-27 12:08:21 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-11-27 12:08:21 +0100 | potatoespotatoes | (~quassel@130.44.145.181) (Changing host) |
| 2025-11-27 12:08:21 +0100 | potatoespotatoes | (~quassel@130.44.145.181) |
| 2025-11-27 12:07:52 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) () |
| 2025-11-27 12:03:14 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-11-27 11:40:45 +0100 | inline__ | (~inlinE@2001-4dd7-868d-0-11ff-701-9c0c-1057.ipv6dyn.netcologne.de) Inline |
| 2025-11-27 11:40:45 +0100 | Inline | (~inlinE@2001-4dd7-868d-0-d5bc-668b-3438-8372.ipv6dyn.netcologne.de) (Ping timeout: 250 seconds) |