Newest at the top
| 2025-02-07 11:57:23 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-07 11:56:50 +0100 | alp__ | (~alp@2001:861:8ca0:4940:79d9:d457:2:aee5) |
| 2025-02-07 11:56:32 +0100 | alp__ | (~alp@2001:861:8ca0:4940:c29d:3ca2:b267:28b1) (Remote host closed the connection) |
| 2025-02-07 11:55:09 +0100 | alp__ | (~alp@2001:861:8ca0:4940:c29d:3ca2:b267:28b1) |
| 2025-02-07 11:53:26 +0100 | alp_ | (~alp@2001:861:8ca0:4940:3337:c2d5:219b:8ea3) |
| 2025-02-07 11:53:08 +0100 | alp_ | (~alp@2001:861:8ca0:4940:ae81:7c78:7938:da13) (Remote host closed the connection) |
| 2025-02-07 11:51:43 +0100 | alp_ | (~alp@2001:861:8ca0:4940:ae81:7c78:7938:da13) |
| 2025-02-07 11:51:26 +0100 | alp_ | (~alp@2001:861:8ca0:4940:eb15:e09d:d9d1:dd64) (Remote host closed the connection) |
| 2025-02-07 11:50:01 +0100 | alp_ | (~alp@2001:861:8ca0:4940:eb15:e09d:d9d1:dd64) |
| 2025-02-07 11:49:44 +0100 | alp_ | (~alp@2001:861:8ca0:4940:a997:e2f2:f7d1:e67e) (Remote host closed the connection) |
| 2025-02-07 11:48:20 +0100 | alp_ | (~alp@2001:861:8ca0:4940:a997:e2f2:f7d1:e67e) |
| 2025-02-07 11:48:02 +0100 | alp_ | (~alp@2001:861:8ca0:4940:71ab:5717:4fb2:efbd) (Remote host closed the connection) |
| 2025-02-07 11:46:45 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-07 11:46:38 +0100 | alp_ | (~alp@2001:861:8ca0:4940:71ab:5717:4fb2:efbd) |
| 2025-02-07 11:46:20 +0100 | alp_ | (~alp@2001:861:8ca0:4940:62ab:e74d:1ce5:46a6) (Remote host closed the connection) |
| 2025-02-07 11:46:00 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-07 11:44:55 +0100 | alp_ | (~alp@2001:861:8ca0:4940:62ab:e74d:1ce5:46a6) |
| 2025-02-07 11:44:38 +0100 | alp_ | (~alp@2001:861:8ca0:4940:ded:f36a:cce:f632) (Remote host closed the connection) |
| 2025-02-07 11:44:16 +0100 | akegalj | (~akegalj@95.168.121.14) |
| 2025-02-07 11:43:13 +0100 | alp_ | (~alp@2001:861:8ca0:4940:ded:f36a:cce:f632) |
| 2025-02-07 11:42:56 +0100 | alp_ | (~alp@2001:861:8ca0:4940:cbb9:a4bc:2367:1426) (Remote host closed the connection) |
| 2025-02-07 11:41:32 +0100 | alp_ | (~alp@2001:861:8ca0:4940:cbb9:a4bc:2367:1426) |
| 2025-02-07 11:41:14 +0100 | alp_ | (~alp@2001:861:8ca0:4940:9b7d:225:6dca:3) (Remote host closed the connection) |
| 2025-02-07 11:40:28 +0100 | alp | (~alp@2001:861:8ca0:4940:c543:753a:35f:61ff) (Ping timeout: 272 seconds) |
| 2025-02-07 11:39:50 +0100 | alp_ | (~alp@2001:861:8ca0:4940:9b7d:225:6dca:3) |
| 2025-02-07 11:39:32 +0100 | alp_ | (~alp@2001:861:8ca0:4940:c66f:9510:c543:5c5b) (Remote host closed the connection) |
| 2025-02-07 11:39:26 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-02-07 11:38:07 +0100 | alp_ | (~alp@2001:861:8ca0:4940:c66f:9510:c543:5c5b) |
| 2025-02-07 11:37:50 +0100 | alp_ | (~alp@2001:861:8ca0:4940:5fab:379e:f5b9:17db) (Remote host closed the connection) |
| 2025-02-07 11:37:47 +0100 | JuanDaugherty | ColinRobinson |
| 2025-02-07 11:36:25 +0100 | alp_ | (~alp@2001:861:8ca0:4940:5fab:379e:f5b9:17db) |
| 2025-02-07 11:34:42 +0100 | alp | (~alp@2001:861:8ca0:4940:c543:753a:35f:61ff) |
| 2025-02-07 11:34:26 +0100 | alp | (~alp@2001:861:8ca0:4940:d783:3ed4:b3b2:7c8f) (Remote host closed the connection) |
| 2025-02-07 11:33:00 +0100 | alp | (~alp@2001:861:8ca0:4940:d783:3ed4:b3b2:7c8f) |
| 2025-02-07 11:32:44 +0100 | alp | (~alp@2001:861:8ca0:4940:41b4:15ba:b9c5:e001) (Remote host closed the connection) |
| 2025-02-07 11:32:20 +0100 | akegalj | (~akegalj@141-136-207-93.dsl.iskon.hr) (Ping timeout: 244 seconds) |
| 2025-02-07 11:32:20 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:3bd7:f04:27ee:5a69) ubert |
| 2025-02-07 11:32:05 +0100 | <tomsmeding> | somehow :) |
| 2025-02-07 11:31:57 +0100 | <tomsmeding> | I think you can do the same in ocaml |
| 2025-02-07 11:31:46 +0100 | <tomsmeding> | in haskell, you can't satisfy that Ord constraint unless you know what the 'k' type is, monomorphically, or unless you have that 'k' as a parameter yourself and get the Ord instance from your caller |
| 2025-02-07 11:31:24 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-07 11:31:19 +0100 | alp | (~alp@2001:861:8ca0:4940:41b4:15ba:b9c5:e001) |
| 2025-02-07 11:31:02 +0100 | alp | (~alp@2001:861:8ca0:4940:d5b5:2163:e0a9:7a7f) (Remote host closed the connection) |
| 2025-02-07 11:30:04 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-07 11:27:53 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-07 11:27:35 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2025-02-07 11:27:01 +0100 | <tomsmeding> | the types look different, but as you say, ocaml is the one that's more flexible, not haskell |
| 2025-02-07 11:26:44 +0100 | <tomsmeding> | I'm not sure it can! That's my point |
| 2025-02-07 11:26:36 +0100 | <neiluj> | sure, thanks! just wanted to see if haskell could solve my problem more easily, and it seems so :) |
| 2025-02-07 11:26:16 +0100 | <tomsmeding> | wherever you export your t, also make sure that module exports a compare function |