Newest at the top
2024-09-02 01:40:22 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
2024-09-02 01:37:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-09-02 01:36:00 +0200 | son0p | (~ff@191.104.26.195) |
2024-09-02 01:34:19 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb65c86c0f467d06e1b7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-09-02 01:34:09 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ce12:5406:9488:ffd0) (Ping timeout: 260 seconds) |
2024-09-02 01:33:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-02 01:27:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 01:25:30 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
2024-09-02 01:25:18 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-09-02 01:20:42 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) |
2024-09-02 01:17:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-02 01:12:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 01:10:21 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
2024-09-02 01:03:40 +0200 | weary-traveler | (~user@user/user363627) |
2024-09-02 01:01:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-02 00:58:17 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
2024-09-02 00:57:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 00:55:25 +0200 | son0p | (~ff@191.104.26.195) (Remote host closed the connection) |
2024-09-02 00:54:31 +0200 | <haskellbridge> | <thirdofmay18081814goya> hm i see, ty! |
2024-09-02 00:49:13 +0200 | <monochrom> | Although there is no subtyping in Haskell, if you retreat this record type {x::Int, y::String} as a subtype of this other record type {x::Int}, then extrapolating to the extreme, the universal supertype is the 0-tuple, i.e., unit again. |
2024-09-02 00:46:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-02 00:41:56 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
2024-09-02 00:41:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 00:39:13 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
2024-09-02 00:36:39 +0200 | spew | (~spew@201.141.99.170) |
2024-09-02 00:34:36 +0200 | <haskellbridge> | <thirdofmay18081814goya> is there a type T that satisfies: for all x, x subtypes T? |
2024-09-02 00:33:19 +0200 | <haskellbridge> | <thirdofmay18081814goya> ah nice, ty! |
2024-09-02 00:32:19 +0200 | <monochrom> | The unit type, (). |
2024-09-02 00:31:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-02 00:30:25 +0200 | <haskellbridge> | <thirdofmay18081814goya> what is the terminal counterpart of the empty type? |
2024-09-02 00:26:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 00:15:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-09-02 00:13:00 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-09-02 00:10:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 00:09:06 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
2024-09-02 00:08:49 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
2024-09-02 00:06:46 +0200 | weary-traveler | (~user@user/user363627) |
2024-09-02 00:00:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-01 23:58:42 +0200 | <monochrom> | :) |
2024-09-01 23:55:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-01 23:44:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-01 23:40:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-01 23:36:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-09-01 23:30:09 +0200 | <dmj`> | accIO lumos |
2024-09-01 23:29:20 +0200 | <dmj`> | monochrom: VoldemortIO |
2024-09-01 23:29:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-01 23:26:19 +0200 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-09-01 23:24:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-01 23:16:46 +0200 | vglfr | (~vglfr@2601:14d:4e01:1370:7d74:cd19:266b:9129) |
2024-09-01 23:13:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |