Newest at the top
| 2025-03-01 11:48:35 +0100 | <euouae> | Okay, thank you. I'm actually thinking I'll just keep it all in one flat file |
| 2025-03-01 11:48:22 +0100 | <tomsmeding> | yes |
| 2025-03-01 11:48:19 +0100 | <euouae> | Perhaps I can do something like E123.hs for exercise 123? |
| 2025-03-01 11:47:58 +0100 | <tomsmeding> | and module names must start with a capital letter |
| 2025-03-01 11:47:53 +0100 | <tomsmeding> | in a cabal project, a module file must always have the module name as its file name |
| 2025-03-01 11:47:39 +0100 | <tomsmeding> | but as a single file, HLS is okay with it for me |
| 2025-03-01 11:47:36 +0100 | <euouae> | oh yeah, I use cabal |
| 2025-03-01 11:47:27 +0100 | <tomsmeding> | it's not a valid file name in a cabal project |
| 2025-03-01 11:47:26 +0100 | <euouae> | anyway right now I just have all the solutions in one file separated by -- * |
| 2025-03-01 11:47:21 +0100 | <tomsmeding> | works perfectly fine for me |
| 2025-03-01 11:47:03 +0100 | <euouae> | I'm doing some leetcode challenges but 123.hs is bad I think |
| 2025-03-01 11:46:57 +0100 | <tomsmeding> | we were getting so close! |
| 2025-03-01 11:46:37 +0100 | <euouae> | tomsmeding: oh sorry, I mean file *names* |
| 2025-03-01 11:43:42 +0100 | <tomsmeding> | it's as close as you're going to get to "including" a "number", really |
| 2025-03-01 11:43:22 +0100 | <tomsmeding> | mauke: on second thoughts I'm starting to like your last suggestion |
| 2025-03-01 11:41:23 +0100 | <tomsmeding> | that's about as reasonable an interpretation as claiming that they're used to macOS and actually meant a spreadsheet |
| 2025-03-01 11:40:37 +0100 | <mauke> | #include "/dev/fd/0" |
| 2025-03-01 11:40:31 +0100 | <mauke> | oh, I just thought of another way to "include numbers in my source files" |
| 2025-03-01 11:39:35 +0100 | <tomsmeding> | somewhat, but I'm still uncomfortable |
| 2025-03-01 11:39:03 +0100 | <mauke> | just be glad that I didn't jump into the type signature! |
| 2025-03-01 11:38:38 +0100 | <tomsmeding> | what would that even _mean_ |
| 2025-03-01 11:38:22 +0100 | <mauke> | 40 goto 20 |
| 2025-03-01 11:38:17 +0100 | <mauke> | 30 putStrLn "hello" |
| 2025-03-01 11:38:09 +0100 | <mauke> | 20 main = do |
| 2025-03-01 11:38:05 +0100 | <mauke> | 10 main :: IO () |
| 2025-03-01 11:37:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-01 11:36:13 +0100 | <tomsmeding> | euouae: the tension is killing, enlighten us |
| 2025-03-01 11:35:44 +0100 | <sprout> | line numbers I assume |
| 2025-03-01 11:35:42 +0100 | <tomsmeding> | it would be hilarious if someone actually made an implementation of HASIC |
| 2025-03-01 11:35:40 +0100 | CryptLab | (NSA@gateway/vpn/protonvpn/commanderbond007) (Ping timeout: 244 seconds) |
| 2025-03-01 11:35:08 +0100 | <Leary> | I fear they're trying to write HASIC. |
| 2025-03-01 11:33:08 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-01 11:28:56 +0100 | <tomsmeding> | the neither my editor, nor the LSP, nor HLS breaks on numbers |
| 2025-03-01 11:28:37 +0100 | <tomsmeding> | [exa]: I can tell you that I am successfully using numbers in my haskell code |
| 2025-03-01 11:24:04 +0100 | <[exa]> | tomsmeding: might be that LSP nowadays breaks even on this |
| 2025-03-01 11:22:13 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-03-01 11:19:11 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-03-01 11:18:03 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-03-01 11:15:05 +0100 | Sgeo__ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-03-01 11:13:24 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f23d472fd3bae079d4a.dip0.t-ipconnect.de) acidjnk |
| 2025-03-01 11:05:05 +0100 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-03-01 11:01:38 +0100 | manwithluck | (~manwithlu@2a00:7c80:0:3a6::12) manwithluck |
| 2025-03-01 10:59:43 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-03-01 10:56:08 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-03-01 10:54:57 +0100 | manwithluck | (~manwithlu@185-183-33-218.hosted-by-worldstream.net) (Ping timeout: 248 seconds) |
| 2025-03-01 10:54:23 +0100 | <tomsmeding> | those kinds of numbers? |
| 2025-03-01 10:54:20 +0100 | <lambdabot> | 2 |
| 2025-03-01 10:54:19 +0100 | <tomsmeding> | > 2 |
| 2025-03-01 10:54:02 +0100 | <tomsmeding> | ... what |
| 2025-03-01 10:52:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |