Newest at the top
| 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 |
| 2024-09-02 06:48:59 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-09-02 06:48:39 +0200 | califax_ | (~califax@user/califx) |
| 2024-09-02 06:48:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 06:41:00 +0200 | Digitteknohippie | Digit |
| 2024-09-02 06:40:51 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-02 06:39:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-02 06:38:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-02 06:35:01 +0200 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2024-09-02 06:34:36 +0200 | Digitteknohippie | (~user@user/digit) |
| 2024-09-02 06:33:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 06:33:11 +0200 | michalz | (~michalz@185.246.207.221) |
| 2024-09-02 06:30:23 +0200 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2024-09-02 06:29:41 +0200 | michalz | (~michalz@185.246.207.197) |
| 2024-09-02 06:22:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-02 06:13:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 06:09:57 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-09-02 06:02:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-02 06:00:28 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-09-02 05:56:01 +0200 | aforemny | (~aforemny@2001:9e8:6cf4:df00:6f30:d808:ba6b:50ac) |
| 2024-09-02 05:55:39 +0200 | aforemny | (~aforemny@i59F516FC.versanet.de) (Ping timeout: 276 seconds) |
| 2024-09-02 05:55:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 05:52:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-02 05:47:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 05:36:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-02 05:33:15 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: zzz) |
| 2024-09-02 05:32:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-02 05:29:41 +0200 | neuroevolutus | (~neuroevol@37.19.200.148) (Ping timeout: 256 seconds) |
| 2024-09-02 05:28:29 +0200 | vglfr | (~vglfr@c-73-163-164-68.hsd1.md.comcast.net) |
| 2024-09-02 05:28:21 +0200 | vglfr | (~vglfr@2601:14d:4e01:1370:7d74:cd19:266b:9129) (Ping timeout: 276 seconds) |
| 2024-09-02 05:26:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-09-02 05:24:50 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-09-02 05:21:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-02 05:20:50 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2024-09-02 05:20:24 +0200 | robertm | (robertm@lattice.rojoma.com) |