Newest at the top
| 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) |
| 2025-11-27 11:15:01 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2025-11-27 11:06:17 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 11:06:05 +0100 | Googulator50 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 11:04:36 +0100 | trickard_ | trickard |
| 2025-11-27 11:03:38 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-27 11:03:21 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-27 11:02:17 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-27 11:00:35 +0100 | acidjnk | (~acidjnk@p200300d6e7171932119317c4eba72db3.dip0.t-ipconnect.de) acidjnk |
| 2025-11-27 10:57:03 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |