Newest at the top
| 2025-11-27 13:22:27 +0100 | Jackneill | (~Jackneill@178-164-177-218.pool.digikabel.hu) Jackneill |
| 2025-11-27 13:21:23 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-27 13:19:21 +0100 | Jackneill_ | (~Jackneill@178-164-177-218.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-11-27 13:16:48 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-27 13:15:44 +0100 | Googulator50 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 13:15:40 +0100 | Googulator52 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 13:13:27 +0100 | hseg_ | (~hseg_@46.120.21.70) (Ping timeout: 252 seconds) |
| 2025-11-27 13:10:47 +0100 | Guest77 | (~Guest77@2401:4900:8821:a506:65a4:1502:5c26:31f8) (Client Quit) |
| 2025-11-27 13:10:36 +0100 | <Guest77> | Hello :) |
| 2025-11-27 13:09:03 +0100 | hseg_ | (~hseg_@46.120.21.70) hseg |
| 2025-11-27 13:08:44 +0100 | hseg_ | (~hseg_@46.120.21.70) (Remote host closed the connection) |
| 2025-11-27 13:08:11 +0100 | Guest77 | (~Guest77@2401:4900:8821:a506:65a4:1502:5c26:31f8) |
| 2025-11-27 13:07:49 +0100 | hseg_ | (~hseg_@46.120.21.70) hseg |
| 2025-11-27 13:07:14 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-27 13:06:59 +0100 | hseg_ | (~hseg_@2.54.43.248) (Read error: Connection reset by peer) |
| 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 |