Newest at the top
| 2025-12-20 14:04:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 13:59:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 13:55:19 +0100 | <ncf> | is there an equality test that also compares exceptions 🤔 |
| 2025-12-20 13:55:02 +0100 | <ncf> | i guess this can't test whether they both fail or not |
| 2025-12-20 13:54:40 +0100 | <lambdabot> | error, called at libraries/ghc-internal/src/GHC/Internal/List.hs:2030:3 in... |
| 2025-12-20 13:54:40 +0100 | <lambdabot> | CallStack (from HasCallStack): |
| 2025-12-20 13:54:40 +0100 | <lambdabot> | *Exception: Prelude.tail: empty list |
| 2025-12-20 13:54:38 +0100 | <ncf> | > tail [] == drop 1 [] |
| 2025-12-20 13:53:36 +0100 | <ncf> | oh, empty list |
| 2025-12-20 13:53:21 +0100 | <ncf> | <Zemyla> I kind of wish tail = drop 1. -- in what sense are they not equal? |
| 2025-12-20 13:51:10 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-12-20 13:48:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 13:43:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 13:43:37 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-12-20 13:39:46 +0100 | Vajb | (~Vajb@n5gf526ahbjilsptg0q-1.v6.elisa-mobile.fi) |
| 2025-12-20 13:37:52 +0100 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 246 seconds) |
| 2025-12-20 13:37:24 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 244 seconds) |
| 2025-12-20 13:33:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-20 13:28:51 +0100 | Googulator27 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-20 13:28:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 13:24:48 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 13:17:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 13:12:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 13:11:47 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-20 13:03:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-20 13:02:40 +0100 | shaeto | (~Shaeto@94.25.234.244) |
| 2025-12-20 13:01:13 +0100 | Googulator71 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 13:01:03 +0100 | Googulator27 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 13:00:49 +0100 | shaeto | (~Shaeto@94.25.234.244) (Ping timeout: 255 seconds) |
| 2025-12-20 12:59:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 12:56:33 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-20 12:56:22 +0100 | shaeto | (~Shaeto@94.25.234.244) |
| 2025-12-20 12:48:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 12:46:49 +0100 | annamalai | (~annamalai@157.32.137.200) (Ping timeout: 264 seconds) |
| 2025-12-20 12:43:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 12:42:58 +0100 | pfc | (~pfc@user/pfc) pfc |
| 2025-12-20 12:42:58 +0100 | pfc | (~pfc@217.131.80.94) (Changing host) |
| 2025-12-20 12:42:14 +0100 | pfc_ | pfc |
| 2025-12-20 12:34:27 +0100 | trickard_ | trickard |
| 2025-12-20 12:33:05 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-12-20 12:31:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 12:30:41 +0100 | Googulator71 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 12:30:28 +0100 | Googulator71 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 12:30:08 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-12-20 12:27:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 12:27:10 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 12:26:56 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 12:20:54 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 260 seconds) |
| 2025-12-20 12:16:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 12:11:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |