Newest at the top
| 2026-05-31 10:51:21 +0000 | rabbull72 | rabbull7 |
| 2026-05-31 10:51:21 +0000 | rabbull7 | (~rabbull@xdsl-31-164-93-219.adslplus.ch) (Read error: Connection reset by peer) |
| 2026-05-31 10:50:02 +0000 | rabbull72 | (~rabbull@xdsl-31-164-93-219.adslplus.ch) |
| 2026-05-31 10:49:10 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-05-31 10:46:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-31 10:46:37 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-05-31 10:45:41 +0000 | synchromesh | (~john@2406:5a00:247e:1500:9a0:33e6:ebb2:ef41) synchromesh |
| 2026-05-31 10:44:39 +0000 | synchromesh | (~john@2406:5a00:247e:1500:9a0:33e6:ebb2:ef41) (Read error: Connection reset by peer) |
| 2026-05-31 10:38:49 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
| 2026-05-31 10:36:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-31 10:33:45 +0000 | CiaoSen | (~Jura@2a02:3037:6e6:d82f:4e50:ddff:fe9b:8922) (Ping timeout: 252 seconds) |
| 2026-05-31 10:31:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-31 10:24:02 +0000 | <tomsmeding> | I guess I "meant" that that '==' denoted what the complainant wants, rather than what Haskell does |
| 2026-05-31 10:23:33 +0000 | <tomsmeding> | uh, yes, that's what I meant |
| 2026-05-31 10:21:51 +0000 | <lambdabot> | 1 |
| 2026-05-31 10:21:50 +0000 | <int-e> | > length (1,2) -- ??? |
| 2026-05-31 10:20:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-31 10:20:09 +0000 | <tomsmeding> | oh "length (1, 2, 3)" is the perfect retort to people complaining about "length (1, 2) == 2" |
| 2026-05-31 10:13:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-31 10:04:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-31 09:59:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-31 09:55:55 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-05-31 09:51:48 +0000 | AlexZenon_2 | (~alzenon@178.34.160.200) (Ping timeout: 246 seconds) |
| 2026-05-31 09:49:38 +0000 | AlexZenon | (~alzenon@178.34.160.200) |
| 2026-05-31 09:49:00 +0000 | AlexZenon | (~alzenon@178.34.160.200) (Ping timeout: 246 seconds) |
| 2026-05-31 09:48:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-31 09:47:40 +0000 | AlexZenon_2 | (~alzenon@178.34.160.200) |
| 2026-05-31 09:44:37 +0000 | AlexZenon | (~alzenon@178.34.160.200) |
| 2026-05-31 09:43:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-31 09:42:37 +0000 | AlexNoo | (~AlexNoo@85.174.182.98) (Ping timeout: 272 seconds) |
| 2026-05-31 09:40:52 +0000 | Alex_delenda_est | (~al_test@85.174.182.98) (Ping timeout: 256 seconds) |
| 2026-05-31 09:40:52 +0000 | AlexZenon | (~alzenon@85.174.182.98) (Ping timeout: 256 seconds) |
| 2026-05-31 09:39:00 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.200) |
| 2026-05-31 09:38:28 +0000 | tremon | (~tremon@83-80-159-219.cable.dynamic.v4.ziggo.nl) tremon |
| 2026-05-31 09:33:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-31 09:29:02 +0000 | CiaoSen | (~Jura@2a02:3037:6e6:d82f:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-05-31 09:28:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-31 09:21:21 +0000 | castan | (~castan@188.26.39.158) (Quit: castan) |
| 2026-05-31 09:17:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-31 09:12:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-31 09:05:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 253 seconds) |
| 2026-05-31 09:00:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-31 08:59:44 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-05-31 08:58:41 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-05-31 08:52:59 +0000 | acidjnk | (~acidjnk@p200300d6e700e50749931930275f1dba.dip0.t-ipconnect.de) acidjnk |
| 2026-05-31 08:51:57 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e554a1582e2fc899958d.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-05-31 08:51:57 +0000 | acidjnk | (~acidjnk@p200300d6e700e554a1582e2fc899958d.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-05-31 08:49:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-05-31 08:48:26 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e50749931930275f1dba.dip0.t-ipconnect.de) |
| 2026-05-31 08:45:00 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |