Newest at the top
| 2024-09-02 08:50:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 08:39:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-02 08:38:14 +0200 | CiaoSen | (~Jura@2a05:5800:246:9600:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-09-02 08:36:49 +0200 | oo_miguel | (~Thunderbi@78.10.207.45) |
| 2024-09-02 08:35:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 08:25:19 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb8015cf4a37de266f89.dip0.t-ipconnect.de) |
| 2024-09-02 08:24:55 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-02 08:24:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-02 08:23:59 +0200 | pierrot | (~pi@user/pierrot) (Ping timeout: 255 seconds) |
| 2024-09-02 08:23:18 +0200 | Franciman | (~Franciman@mx1.fracta.dev) (Ping timeout: 245 seconds) |
| 2024-09-02 08:20:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 08:13:43 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-09-02 08:10:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-02 08:09:17 +0200 | <Leary> | Addendum: I guess true universality requires impredicativity, but whatever, close enough. |
| 2024-09-02 08:05:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 08:02:33 +0200 | CiaoSen | (~Jura@2a05:5800:246:9600:ca4b:d6ff:fec1:99da) |
| 2024-09-02 08:02:12 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-09-02 08:01:07 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-09-02 08:00:28 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Read error: Connection reset by peer) |
| 2024-09-02 07:55:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-02 07:54:34 +0200 | zfnmxt_ | zfnmxt |
| 2024-09-02 07:51:29 +0200 | shachaf | (~shachaf@user/shachaf) |
| 2024-09-02 07:51:27 +0200 | ChanServ | +v lambdabot |
| 2024-09-02 07:51:27 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2024-09-02 07:51:27 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2024-09-02 07:51:27 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) |
| 2024-09-02 07:51:18 +0200 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) |
| 2024-09-02 07:51:10 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2024-09-02 07:51:02 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-09-02 07:50:59 +0200 | shachaf | (~shachaf@user/shachaf) (Ping timeout: 260 seconds) |
| 2024-09-02 07:50:44 +0200 | ent | (entgod@kapsi.fi) |
| 2024-09-02 07:50:24 +0200 | ent | (entgod@kapsi.fi) (Ping timeout: 260 seconds) |
| 2024-09-02 07:50:24 +0200 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-02 07:50:24 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
| 2024-09-02 07:50:24 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Ping timeout: 260 seconds) |
| 2024-09-02 07:50:20 +0200 | pavonia_ | pavonia |
| 2024-09-02 07:50:07 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2024-09-02 07:49:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 07:49:51 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (Remote host closed the connection) |
| 2024-09-02 07:49:49 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 260 seconds) |
| 2024-09-02 07:49:41 +0200 | zfnmxt_ | (~zfnmxt@107.189.30.63) |
| 2024-09-02 07:47:59 +0200 | arkeet | (~arkeet@moriya.ca) |
| 2024-09-02 07:47:47 +0200 | arkeet | (~arkeet@moriya.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-02 07:47:42 +0200 | cayley5 | (~cayley5@user/phileasfogg) |
| 2024-09-02 07:47:17 +0200 | cayley5 | (~cayley5@user/phileasfogg) (Quit: Ping timeout (120 seconds)) |
| 2024-09-02 07:46:40 +0200 | pavonia_ | (~user@user/siracusa) |
| 2024-09-02 07:39:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-02 07:34:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 07:31:31 +0200 | <Leary> | monochrom, thirdofmay18081814goya: Polymorphism induces a subtyping relation. This gives us the universal subtype `forall a. a`. With `exists` we'd also have a universal supertype `exists a. a`. It follows immediately that these are initial and terminal objects (respectively), which are "essentially unique" and hence cannot meaningfully differ from `Void` and `()` (respectively). |
| 2024-09-02 07:23:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |