Newest at the top
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) |
2024-09-02 07:22:44 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
2024-09-02 07:19:26 +0200 | <lambdabot> | MonadCont m => ((a -> m b) -> m a) -> m a |
2024-09-02 07:19:25 +0200 | <Axman6> | :t callCC |
2024-09-02 07:19:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 07:08:37 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-09-02 07:08:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-02 07:04:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 06:54:03 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-09-02 06:53:38 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-09-02 06:53:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-02 06:49:57 +0200 | califax_ | califax |