Newest at the top
| 2024-05-16 14:55:11 +0200 | neiluj | (~neiluj@193.203.71.162) (Ping timeout: 264 seconds) |
| 2024-05-16 14:47:13 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 268 seconds) |
| 2024-05-16 14:46:05 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-05-16 14:42:27 +0200 | destituion | (~destituio@2a02:2121:10b:62ca:10a5:f759:7fb5:9fb1) |
| 2024-05-16 14:41:58 +0200 | bolivood1 | (~bolivood@2a0d:6fc2:5d10:8200:11e8:e299:e23d:e488) (Ping timeout: 268 seconds) |
| 2024-05-16 14:39:14 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 256 seconds) |
| 2024-05-16 14:36:38 +0200 | Square2 | (~Square4@user/square) |
| 2024-05-16 14:31:09 +0200 | danse-nr3 | (~danse-nr3@151.43.160.43) |
| 2024-05-16 14:31:07 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-16 14:30:52 +0200 | danse-nr3 | (~danse-nr3@151.43.160.43) (Read error: Connection reset by peer) |
| 2024-05-16 14:20:23 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-16 14:19:47 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
| 2024-05-16 14:06:15 +0200 | danse-nr3 | (~danse-nr3@151.43.160.43) |
| 2024-05-16 14:05:59 +0200 | danse-nr3 | (~danse-nr3@an-19-164-164.service.infuturo.it) (Read error: Connection reset by peer) |
| 2024-05-16 14:05:29 +0200 | neiluj | (~neiluj@193.203.71.162) |
| 2024-05-16 14:04:03 +0200 | neiluj | (~neiluj@193.203.71.162) (Ping timeout: 255 seconds) |
| 2024-05-16 13:57:11 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-16 13:47:54 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-16 13:47:31 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Quit: Konversation terminated!) |
| 2024-05-16 13:44:38 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-16 13:41:02 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-05-16 13:39:43 +0200 | danse-nr3 | (~danse-nr3@an-19-164-164.service.infuturo.it) |
| 2024-05-16 13:37:59 +0200 | bolivood | (~bolivood@2a0d:6fc2:5d10:8200:e4f7:dd84:71b6:db6) (Ping timeout: 256 seconds) |
| 2024-05-16 13:37:37 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2024-05-16 13:35:46 +0200 | bolivood1 | (~bolivood@2a0d:6fc2:5d10:8200:11e8:e299:e23d:e488) |
| 2024-05-16 13:34:35 +0200 | koz | (~koz@121.99.240.58) |
| 2024-05-16 13:34:09 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-05-16 13:33:27 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 256 seconds) |
| 2024-05-16 13:32:53 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 256 seconds) |
| 2024-05-16 13:28:44 +0200 | patrl | (~patrl@user/patrl) |
| 2024-05-16 13:26:21 +0200 | patrl | (~patrl@user/patrl) (Remote host closed the connection) |
| 2024-05-16 13:21:56 +0200 | patrl | (~patrl@user/patrl) |
| 2024-05-16 13:18:09 +0200 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-05-16 13:12:25 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:c695:1779:f1ed:a0d3) |
| 2024-05-16 13:07:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:25be:f228:ec64:b69c) |
| 2024-05-16 13:02:50 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-16 13:02:20 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2024-05-16 13:00:14 +0200 | <famubu> | Yeah |
| 2024-05-16 13:00:08 +0200 | <famubu> | :) |
| 2024-05-16 13:00:01 +0200 | <tomsmeding> | famubu: every time you figure something like this out, you gain a little more intuition for what the types meant :) |
| 2024-05-16 12:59:41 +0200 | <famubu> | Thanks. |
| 2024-05-16 12:59:37 +0200 | <famubu> | Oh.. sorry. That worked. I'm not yet that good at extracting the correct info from the types.. 😬 |
| 2024-05-16 12:58:23 +0200 | <tomsmeding> | famubu: `rep` returns useful info here so you shouldn't use (<$) |
| 2024-05-16 12:58:04 +0200 | <lambdabot> | Functor f => a -> f b -> f a |
| 2024-05-16 12:58:03 +0200 | <tomsmeding> | :t (<$) |
| 2024-05-16 12:58:00 +0200 | <tomsmeding> | but Rep is not fully applied so that fails |
| 2024-05-16 12:57:58 +0200 | <neiluj> | hey! ocaml guy here! I'd like to deepen my knowledge by playing with haskell advanced features such as liquid haskell, category theory stuff. Which projects/reading material would you recommend to achieve this goal? |
| 2024-05-16 12:57:54 +0200 | <tomsmeding> | <$ is for if you don't care about the result of 'rep' and want it to be Rep anyway |
| 2024-05-16 12:57:43 +0200 | <tomsmeding> | I meant the latter |
| 2024-05-16 12:57:40 +0200 | <tomsmeding> | famubu: Postfix (Rep <$ rep) is not the same as Postfix rep |