Newest at the top
| 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 |
| 2026-05-31 08:44:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-31 08:44:41 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-05-31 08:44:36 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-05-31 08:33:51 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-05-31 08:30:01 +0000 | <lambdabot> | Defined. |
| 2026-05-31 08:29:59 +0000 | <mauke> | @let a === b = cast a == Just b |
| 2026-05-31 08:29:24 +0000 | <mesaoptimizer> | perfect |
| 2026-05-31 08:29:12 +0000 | <lambdabot> | In the expression: length (1, 2, 3) |
| 2026-05-31 08:29:12 +0000 | <lambdabot> | arising from a use of ‘length’ |
| 2026-05-31 08:29:12 +0000 | <lambdabot> | No instance for ‘Foldable ((,,) Integer Integer)’ |
| 2026-05-31 08:29:10 +0000 | <mesaoptimizer> | > length (1, 2, 3) |
| 2026-05-31 08:29:00 +0000 | <mesaoptimizer> | yes, this is my favorite behavior of Haskell |
| 2026-05-31 08:28:49 +0000 | <lambdabot> | 1 |
| 2026-05-31 08:28:48 +0000 | <mesaoptimizer> | > length (1, 2) |
| 2026-05-31 08:28:15 +0000 | <lambdabot> | In the first argument of ‘show_M58322371133546511351’, namely |
| 2026-05-31 08:28:15 +0000 | <lambdabot> | In the expression: e_111 |
| 2026-05-31 08:28:15 +0000 | <lambdabot> | No instance for ‘Num [()]’ arising from a use of ‘e_111’ |
| 2026-05-31 08:28:13 +0000 | <mesaoptimizer> | > 1 ++ 1 |
| 2026-05-31 08:26:45 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-31 08:22:55 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 276 seconds) |
| 2026-05-31 08:17:59 +0000 | <lambdabot> | False |
| 2026-05-31 08:17:57 +0000 | <mauke> | > (1,1,1,1,1,1,1,1,1,1,1,1,1,1,1) > (1,1,1,1,1,1,1,1,1,1,1,1,1,1,1) |
| 2026-05-31 08:17:51 +0000 | <lambdabot> | True |
| 2026-05-31 08:17:49 +0000 | <mauke> | > (1,1,1,1,1,1,1,1,1,1,1,1,1,1,1) == (1,1,1,1,1,1,1,1,1,1,1,1,1,1,1) |
| 2026-05-31 08:17:37 +0000 | <lambdabot> | Integer, Integer, Integer, Integer, Integer, Integer, In... |
| 2026-05-31 08:17:37 +0000 | <lambdabot> | (Integer, Integer, Integer, Integer, Integer, Integer, In... |
| 2026-05-31 08:17:36 +0000 | <lambdabot> | No instance for ‘Eq |
| 2026-05-31 08:17:35 +0000 | <mauke> | > (1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1) == (1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1) |
| 2026-05-31 08:16:38 +0000 | <castan> | at least on ghc 9.6.7 |
| 2026-05-31 08:16:15 +0000 | <castan> | Eq cuts off at 15, Functor at 7, Applicative at 4, Foldable at 2 |
| 2026-05-31 08:15:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-31 08:15:34 +0000 | <castan> | Leary: that's understandable, but it's a bit comical too |