Newest at the top
| 2025-01-11 22:01:11 +0100 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-11 22:00:32 +0100 | <ash3en> | ah, or just type parameter 'a' lol |
| 2025-01-11 22:00:02 +0100 | <ash3en> | It looks so inviting to give the type as a function parameter |
| 2025-01-11 21:58:39 +0100 | <ash3en> | is this a case where dependent types would shine? https://paste.tomsmeding.com/ZYCCmjse |
| 2025-01-11 21:57:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-11 21:53:26 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-11 21:52:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 21:46:23 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-11 21:45:05 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-11 21:43:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-11 21:41:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-11 21:40:48 +0100 | Everything | (~Everythin@195.138.86.118) Everything |
| 2025-01-11 21:39:23 +0100 | supercode | (~supercode@user/supercode) supercode |
| 2025-01-11 21:39:10 +0100 | supercode | (~supercode@user/supercode) (Ping timeout: 240 seconds) |
| 2025-01-11 21:38:03 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 265 seconds) |
| 2025-01-11 21:37:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 21:35:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-11 21:29:41 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2025-01-11 21:26:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-11 21:25:31 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-11 21:21:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 21:20:29 +0100 | swistak | (~swistak@185.21.216.141) (Remote host closed the connection) |
| 2025-01-11 21:19:01 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 248 seconds) |
| 2025-01-11 21:16:46 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-11 21:14:21 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 252 seconds) |
| 2025-01-11 21:11:40 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-11 21:11:38 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) alecs |
| 2025-01-11 21:11:11 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-11 21:11:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-11 21:06:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 21:06:04 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-11 21:05:33 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-11 21:02:42 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-11 21:01:10 +0100 | acidjnk | (~acidjnk@p200300d6e7283f90c8dc7c78c19bd00e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-01-11 21:00:52 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f9009bc3096dfcfc887.dip0.t-ipconnect.de) acidjnk |
| 2025-01-11 21:00:43 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-11 21:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-11 20:59:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-11 20:55:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 20:50:57 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-01-11 20:50:12 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-11 20:50:01 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-11 20:49:55 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 264 seconds) |
| 2025-01-11 20:48:18 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-01-11 20:46:42 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-11 20:44:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 20:43:06 +0100 | tnt2 | tnt1 |
| 2025-01-11 20:43:06 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-01-11 20:42:32 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-11 20:39:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |