Newest at the top
| 2025-12-18 16:11:03 +0100 | shaeto_ | (~Shaeto@78.37.15.179) (Ping timeout: 244 seconds) |
| 2025-12-18 16:08:08 +0100 | shaeto | (~Shaeto@94.25.234.244) |
| 2025-12-18 16:01:07 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-18 15:58:53 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-18 15:50:20 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 245 seconds) |
| 2025-12-18 15:49:54 +0100 | carbolymer | (carbolymer@delirium.systems) carbolymer |
| 2025-12-18 15:49:42 +0100 | carbolymer_ | (~carbolyme@delirium.systems) () |
| 2025-12-18 15:41:27 +0100 | <shaeto_> | tomsmeding: thank you |
| 2025-12-18 15:41:16 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-18 15:40:52 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-18 15:40:14 +0100 | <tomsmeding> | (we generally don't use @ on irc) |
| 2025-12-18 15:40:00 +0100 | <lambdabot> | Unknown command, try @list |
| 2025-12-18 15:40:00 +0100 | <shaeto_> | @tomsmeding thank you, will try, i just want to understand it for learning purposes |
| 2025-12-18 15:38:54 +0100 | <tomsmeding> | https://downloads.haskell.org/ghc/latest/docs/users_guide/flags.html#compiler-debugging-options |
| 2025-12-18 15:38:31 +0100 | <tomsmeding> | shaeto_: you can pass -ddump-deriv to GHC to have deriving-generated code printed to stderr; an easy way to do this for a single module is to put {-# OPTIONS -ddump-deriv #-} at the top of the file |
| 2025-12-18 15:37:46 +0100 | <tomsmeding> | the deriving-generated code is generally not very clever |
| 2025-12-18 15:37:25 +0100 | <shaeto_> | hi, question, how to see code produced by "deriving (Eq, Ord)" for Peano numbers ? is it pure recursive or some hack for performance ? |
| 2025-12-18 15:37:25 +0100 | shaeto | (~Shaeto@78.37.15.179) (Ping timeout: 255 seconds) |
| 2025-12-18 15:36:41 +0100 | shaeto_ | (~Shaeto@78.37.15.179) |
| 2025-12-18 15:36:31 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 240 seconds) |
| 2025-12-18 15:35:43 +0100 | shaeto__ | (~Shaeto@94.25.234.244) (Ping timeout: 240 seconds) |
| 2025-12-18 15:33:28 +0100 | shaeto_ | (~Shaeto@94.25.234.244) (Ping timeout: 260 seconds) |
| 2025-12-18 15:32:52 +0100 | shaeto | (~Shaeto@78.37.15.179) |
| 2025-12-18 15:31:38 +0100 | shaeto__ | (~Shaeto@94.25.234.244) |
| 2025-12-18 15:31:34 +0100 | shaeto | (~Shaeto@94.25.234.244) (Ping timeout: 255 seconds) |
| 2025-12-18 15:28:42 +0100 | shaeto_ | (~Shaeto@94.25.234.244) |
| 2025-12-18 15:27:03 +0100 | shaeto | (~Shaeto@94.25.234.244) |
| 2025-12-18 15:25:16 +0100 | shaeto | (~Shaeto@94.25.234.244) (Ping timeout: 255 seconds) |
| 2025-12-18 15:20:46 +0100 | shaeto | (~Shaeto@94.25.234.244) |
| 2025-12-18 15:04:12 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) (Ping timeout: 265 seconds) |
| 2025-12-18 15:04:09 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-12-18 15:01:47 +0100 | smeik5005 | (~smeik5005@2a06:93c1:301:3:914d:b7d0:703d:161b) (Ping timeout: 265 seconds) |
| 2025-12-18 15:01:26 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-12-18 14:56:23 +0100 | tromp | (~textual@2001:1c00:3487:1b00:388e:400a:f906:df4a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-18 14:51:32 +0100 | smeik5005 | (~smeik5005@2a06:93c1:301:3:914d:b7d0:703d:161b) |
| 2025-12-18 14:49:20 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-18 14:48:37 +0100 | merijn | (~merijn@77.242.116.146) (Quit: restart) |
| 2025-12-18 14:48:29 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) |
| 2025-12-18 14:40:51 +0100 | Googulator72 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 14:40:44 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 14:30:15 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-18 14:29:50 +0100 | Googulator52 | Googulator |
| 2025-12-18 14:28:33 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-18 14:27:48 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) (Ping timeout: 252 seconds) |
| 2025-12-18 14:27:46 +0100 | tromp | (~textual@2001:1c00:3487:1b00:388e:400a:f906:df4a) |
| 2025-12-18 14:25:14 +0100 | fp1 | fp |
| 2025-12-18 14:24:58 +0100 | qqe | (~qqq@185.54.20.98) |
| 2025-12-18 14:22:57 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-12-18 14:21:03 +0100 | fp | (~Thunderbi@2001:708:150:10::7e06) (Remote host closed the connection) |
| 2025-12-18 14:18:33 +0100 | fp | (~Thunderbi@2001:708:150:10::7e06) fp |