Newest at the top
| 2025-12-20 16:51:25 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-12-20 16:51:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-20 16:47:21 +0100 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2025-12-20 16:46:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 16:43:48 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-12-20 16:42:23 +0100 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-20 16:41:16 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds) |
| 2025-12-20 16:36:55 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 16:35:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 16:31:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 16:30:58 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-20 16:30:37 +0100 | Googulator24 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 16:30:30 +0100 | Googulator24 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 16:20:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 16:15:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 16:05:41 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-20 16:00:43 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 16:00:43 +0100 | Googulator24 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 15:52:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-20 15:47:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 15:47:52 +0100 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-20 15:41:37 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-20 15:39:03 +0100 | <probie> | I've got a type that looks like `F t a b` (i.e `F` is the same every time), but `t` determines which patterns are needed for completeness |
| 2025-12-20 15:37:03 +0100 | rekahsoft | (~rekahsoft@70.51.99.245) rekahsoft |
| 2025-12-20 15:36:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-20 15:36:00 +0100 | <probie> | Is there a way to do type specific completeness checks for pattern synonoyms if the relevant type to discriminate on isn't the head of the type? |
| 2025-12-20 15:31:17 +0100 | Googulator48 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 15:30:57 +0100 | britt | (~user@2600:4040:3184:bc00:6531:8ca3:995e:177d) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2025-12-20 15:30:51 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 15:29:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 15:25:52 +0100 | ft | (~ft@p4fc2ab42.dip0.t-ipconnect.de) ft |
| 2025-12-20 15:25:31 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 264 seconds) |
| 2025-12-20 15:18:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 15:18:00 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 15:15:05 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-20 15:14:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 15:14:07 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds) |
| 2025-12-20 15:13:39 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-20 15:12:59 +0100 | britt | (~user@2600:4040:3184:bc00:6531:8ca3:995e:177d) |
| 2025-12-20 15:11:28 +0100 | britt | (~user@2600:4040:3184:bc00:6531:8ca3:995e:177d) (Client Quit) |
| 2025-12-20 15:10:26 +0100 | britt | (~user@2600:4040:3184:bc00:6531:8ca3:995e:177d) |
| 2025-12-20 15:09:52 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 15:07:04 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-20 15:06:33 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Remote host closed the connection) |
| 2025-12-20 15:06:21 +0100 | rainbyte | (~rainbyte@186.22.19.214) |
| 2025-12-20 15:05:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 15:03:06 +0100 | <ncf> | i'm thinking (==) `on` spoon |
| 2025-12-20 15:01:54 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 260 seconds) |
| 2025-12-20 15:00:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 15:00:29 +0100 | karenw | (~karenw@user/karenw) karenw |