Newest at the top
2024-09-02 02:18:43 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 264 seconds) |
2024-09-02 02:16:07 +0200 | Guest21 | (~Guest75@2600:387:15:1511::c) (Client Quit) |
2024-09-02 02:15:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 02:15:19 +0200 | neuroevolutus | (~neuroevol@146.70.211.152) (Ping timeout: 256 seconds) |
2024-09-02 02:15:17 +0200 | Guest21 | (~Guest75@2600:387:15:1511::c) |
2024-09-02 02:11:08 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
2024-09-02 02:09:51 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
2024-09-02 02:08:41 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 255 seconds) |
2024-09-02 02:06:43 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 264 seconds) |
2024-09-02 02:04:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-02 02:01:06 +0200 | biberao | (~m@user/biberao) (Quit: WeeChat 3.8) |
2024-09-02 01:59:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 01:51:17 +0200 | neuroevolutus | (~neuroevol@146.70.211.152) |
2024-09-02 01:51:15 +0200 | troojg | (~troojg@user/troojg) (Read error: Connection reset by peer) |
2024-09-02 01:49:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-02 01:43:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
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) |