Newest at the top
| 2024-05-11 06:00:12 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf2:cc00:4716:28bd:787d:4b08) (Ping timeout: 260 seconds) |
| 2024-05-11 05:59:26 +0200 | tram | (~tram@2a02:586:7e3a:cb96:c7d7:78d4:c6de:913a) (Quit: Leaving.) |
| 2024-05-11 05:58:55 +0200 | aforemny | (~aforemny@2001:9e8:6cd6:3600:97b7:283e:1ab8:36b5) |
| 2024-05-11 04:45:15 +0200 | foul_owl | (~kerry@185.219.141.164) |
| 2024-05-11 04:34:51 +0200 | systemhalted | (~systemhal@130.51.137.77) (Remote host closed the connection) |
| 2024-05-11 04:33:18 +0200 | systemhalted | (~systemhal@130.51.137.77) |
| 2024-05-11 04:31:37 +0200 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) |
| 2024-05-11 04:30:45 +0200 | foul_owl | (~kerry@71.212.149.206) (Ping timeout: 255 seconds) |
| 2024-05-11 04:29:05 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-05-11 04:28:46 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) |
| 2024-05-11 04:25:48 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-11 04:19:22 +0200 | td_ | (~td@i53870939.versanet.de) |
| 2024-05-11 04:19:16 +0200 | madariaga | (~madariaga@user/madariaga) |
| 2024-05-11 04:18:19 +0200 | hippoid | (~hippoid@user/hippoid) (Ping timeout: 268 seconds) |
| 2024-05-11 04:17:23 +0200 | td_ | (~td@i5387091A.versanet.de) (Ping timeout: 252 seconds) |
| 2024-05-11 04:08:15 +0200 | mima | (~mmh@aftr-62-216-211-22.dynamic.mnet-online.de) (Ping timeout: 255 seconds) |
| 2024-05-11 03:52:30 +0200 | arahael | (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) |
| 2024-05-11 03:47:07 +0200 | Ryan86 | (~Ryan@2601:602:8b00:b0f0:8dcb:b30d:2976:cb47) (Ping timeout: 250 seconds) |
| 2024-05-11 03:34:25 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-05-11 03:23:45 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b7f1:8627:ae1f:1fb0) |
| 2024-05-11 03:19:29 +0200 | foul_owl | (~kerry@71.212.149.206) |
| 2024-05-11 03:17:48 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-05-11 03:17:19 +0200 | otto_s | (~user@p5de2f4b0.dip0.t-ipconnect.de) |
| 2024-05-11 03:15:56 +0200 | otto_s | (~user@p4ff273b9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-05-11 03:05:16 +0200 | foul_owl | (~kerry@185.216.231.180) (Ping timeout: 255 seconds) |
| 2024-05-11 03:04:59 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Ping timeout: 260 seconds) |
| 2024-05-11 03:02:07 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-11 03:01:07 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b7f1:8627:ae1f:1fb0) (Ping timeout: 256 seconds) |
| 2024-05-11 02:59:30 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
| 2024-05-11 02:47:16 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 255 seconds) |
| 2024-05-11 02:35:25 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
| 2024-05-11 02:12:49 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Ping timeout: 256 seconds) |
| 2024-05-11 02:10:05 +0200 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-05-11 02:01:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-11 01:57:14 +0200 | phma_ | phma |
| 2024-05-11 01:53:42 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-05-11 01:51:55 +0200 | phma | (phma@2001:5b0:211f:3048:6a1a:6f68:3864:d84f) (Ping timeout: 255 seconds) |
| 2024-05-11 01:50:44 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-11 01:50:32 +0200 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2024-05-11 01:49:53 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-05-11 01:49:08 +0200 | <c_wraith> | well. it's in the type. declaration, not definition |
| 2024-05-11 01:48:15 +0200 | phma_ | (phma@2001:5b0:211f:3048:948d:80d2:e152:3a7b) |
| 2024-05-11 01:46:41 +0200 | <c_wraith> | Then you don't need to worry about higher-rank types, because f scopes over the whole definition |
| 2024-05-11 01:46:38 +0200 | <ncf> | yeah |
| 2024-05-11 01:46:21 +0200 | <c_wraith> | Leave the checked type as the mess, then document it with "You can think of this as having this type" using the aliases |
| 2024-05-11 01:46:20 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-11 01:46:04 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-05-11 01:45:52 +0200 | <c_wraith> | Honestly, I'd just do what lens itself does with a lot of these |
| 2024-05-11 01:45:41 +0200 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 240 seconds) |
| 2024-05-11 01:40:59 +0200 | <ncf> | t |