Newest at the top
| 2025-02-01 06:45:16 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-02-01 06:45:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-01 06:44:53 +0100 | EvanR | (~EvanR@user/evanr) (Ping timeout: 248 seconds) |
| 2025-02-01 06:40:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-01 06:37:45 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-01 06:34:19 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-01 06:30:51 +0100 | Lears | Leary |
| 2025-02-01 06:30:48 +0100 | Leary | (~Leary@user/Leary/x-0910699) (Ping timeout: 252 seconds) |
| 2025-02-01 06:30:32 +0100 | Lears | (~Leary@user/Leary/x-0910699) Leary |
| 2025-02-01 06:30:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-01 06:29:42 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-01 06:28:54 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 260 seconds) |
| 2025-02-01 06:25:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-01 06:22:51 +0100 | prasad | (~Thunderbi@2601:243:c001:3f07::fe) (Ping timeout: 246 seconds) |
| 2025-02-01 06:18:38 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-02-01 06:14:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-01 06:09:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-01 05:58:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-01 05:54:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-01 05:45:52 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-01 05:43:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-01 05:41:18 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-01 05:39:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-01 05:35:07 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-01 05:28:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-01 05:26:16 +0100 | aforemny | (~aforemny@i577B135A.versanet.de) (Ping timeout: 252 seconds) |
| 2025-02-01 05:25:14 +0100 | aforemny_ | (~aforemny@2001:9e8:6ce1:bc00:8ce8:3eef:6047:48a7) aforemny |
| 2025-02-01 05:23:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-01 05:13:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-01 05:12:04 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::64a2) ensyde |
| 2025-02-01 05:10:08 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-02-01 05:08:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-01 04:57:43 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-01 04:57:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-01 04:54:25 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-01 04:50:13 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-01 04:48:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-01 04:43:13 +0100 | td_ | (~td@i5387092E.versanet.de) (Ping timeout: 248 seconds) |
| 2025-02-01 04:41:41 +0100 | <euouae> | :P |
| 2025-02-01 04:41:41 +0100 | <euouae> | I'm good |
| 2025-02-01 04:41:35 +0100 | <EvanR> | haskell is illogical so you're good |
| 2025-02-01 04:41:28 +0100 | <EvanR> | type theory has to do with logic |
| 2025-02-01 04:41:18 +0100 | <euouae> | perhaps only interested as it pertains to my purposes of writing software |
| 2025-02-01 04:41:01 +0100 | <euouae> | I'm not super interested in the crazy type theory stuff; I already had some exposure with Coq so at least I saw it in action elsewhere |
| 2025-02-01 04:40:26 +0100 | <EvanR> | but with rank N types and ScopedTypeVariables you need explicit forall for reasons |
| 2025-02-01 04:40:19 +0100 | <euouae> | there was a lot of hype back then |
| 2025-02-01 04:40:13 +0100 | <euouae> | yes I did |
| 2025-02-01 04:40:07 +0100 | <int-e> | or is that forall b a. :-) |
| 2025-02-01 04:39:57 +0100 | <EvanR> | there's really a forall a b . at the beginning of that |
| 2025-02-01 04:39:45 +0100 | <EvanR> | map :: (a -> b) -> [a] -> [b] |