Newest at the top
| 2025-02-10 01:31:35 +0100 | xff0x | (~xff0x@2405:6580:b080:900:7b94:8fe8:c4af:8544) |
| 2025-02-10 01:31:34 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:37f4:5b69:766f:630) (Ping timeout: 268 seconds) |
| 2025-02-10 01:25:01 +0100 | zaz | Zaz_ |
| 2025-02-10 01:24:58 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-02-10 01:24:49 +0100 | otbergsten | (~otbergste@user/otbergsten) (Remote host closed the connection) |
| 2025-02-10 01:20:24 +0100 | img | (~img@user/img) img |
| 2025-02-10 01:19:04 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-10 01:17:57 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-02-10 01:16:57 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Remote host closed the connection) |
| 2025-02-10 01:15:04 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f597:997a:28cf:fd48) (Ping timeout: 265 seconds) |
| 2025-02-10 01:12:36 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:37f4:5b69:766f:630) |
| 2025-02-10 01:04:36 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-02-10 01:02:17 +0100 | zaz | (~zaz@195.89.33.222) |
| 2025-02-10 01:02:03 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-02-10 01:01:11 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2025-02-10 01:00:55 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-10 01:00:30 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-02-10 00:57:54 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-10 00:55:17 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-151.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-02-10 00:35:15 +0100 | robertm | (robertm@lattice.rojoma.com) robertm |
| 2025-02-10 00:32:48 +0100 | robertm | (robertm@lattice.rojoma.com) (Quit: WeeChat 3.8) |
| 2025-02-10 00:28:37 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f597:997a:28cf:fd48) |
| 2025-02-10 00:18:55 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Remote host closed the connection) |
| 2025-02-10 00:16:00 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f1ee:cf4b:ec98:147a) (Client Quit) |
| 2025-02-10 00:13:48 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-10 00:13:10 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f1ee:cf4b:ec98:147a) |
| 2025-02-10 00:12:00 +0100 | xff0x | (~xff0x@2405:6580:b080:900:a75:2366:4e5c:4ce9) (Ping timeout: 246 seconds) |
| 2025-02-10 00:09:29 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-10 00:07:36 +0100 | ljdarj1 | ljdarj |
| 2025-02-10 00:07:36 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-02-10 00:04:25 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-10 00:01:07 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-02-09 23:59:39 +0100 | lunitur | (~halloy485@2a00:1bb8:11c:a9a5:5d31:a95b:66b2:d7f4) (Ping timeout: 265 seconds) |
| 2025-02-09 23:53:43 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-02-09 23:48:09 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Client Quit) |
| 2025-02-09 23:48:04 +0100 | mange | (~user@user/mange) mange |
| 2025-02-09 23:48:02 +0100 | <haskellbridge> | <Bowuigi> Sorry, "(x : k) -> t" is visible quantification, "{x : k} t" is invisible |
| 2025-02-09 23:48:01 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) sixfourtwelve |
| 2025-02-09 23:46:56 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-09 23:46:19 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-02-09 23:46:00 +0100 | <haskellbridge> | <Bowuigi> Currently I have "func : {a b : *} (f : * -> *) a -> f b = ...", where a and b are invisibly quantified (AKA their applications are inferred) and f is visibly quantified (AKA you must apply it as if it was a term), with "func @A @B F" as the application syntax |
| 2025-02-09 23:42:26 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2025-02-09 23:39:58 +0100 | <haskellbridge> | <Bowuigi> In general I mean, not just in Haskell |
| 2025-02-09 23:39:36 +0100 | <haskellbridge> | <Bowuigi> Related, which syntax for visible and invisible foralls is preferred nowadays? |
| 2025-02-09 23:38:01 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-09 23:25:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-09 23:21:06 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-09 23:07:58 +0100 | tabaqui1 | (~root@87.200.129.102) (Ping timeout: 244 seconds) |
| 2025-02-09 23:05:14 +0100 | <haskellbridge> | <Bowuigi> Gotta continue with my not-grad-student research then lol |
| 2025-02-09 23:04:50 +0100 | <haskellbridge> | <Bowuigi> True lol |