Logs: liberachat/#haskell
| 2025-09-10 21:41:59 | × | user0 quits (~user0@67.161.181.189) (Quit: leaving) |
| 2025-09-10 21:43:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 21:45:43 | → | califax_ joins (~califax@user/califx) |
| 2025-09-10 21:46:26 | × | califax quits (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-09-10 21:46:57 | califax_ | is now known as califax |
| 2025-09-10 21:48:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-10 21:49:04 | × | hjj123 quits (~hjj123@178.155.115.231) (Quit: Client closed) |
| 2025-09-10 21:52:50 | × | tromp quits (~textual@2001:1c00:3487:1b00:d00b:7608:aa49:1d61) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-10 21:54:02 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-09-10 21:54:16 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-09-10 21:55:56 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2025-09-10 21:59:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 22:00:09 | <biberao> | sm i dont? |
| 2025-09-10 22:00:13 | <biberao> | to install ghcup» |
| 2025-09-10 22:00:15 | <biberao> | ? |
| 2025-09-10 22:00:20 | <biberao> | i was advise to do that |
| 2025-09-10 22:00:30 | <biberao> | how do i now use ghcup with vscode? |
| 2025-09-10 22:00:43 | <biberao> | do i need to install vscode on wsl? |
| 2025-09-10 22:02:57 | <haskellbridge> | <sm> ah yes, it looks like you maybe do need wsl to make ghcup run on windows. I would just use stack personally. |
| 2025-09-10 22:03:29 | <haskellbridge> | <sm> I'm pretty sure vscode does not require wsl. ghcup is the only tool that needs it. |
| 2025-09-10 22:03:57 | <geekosaur> | uh? ghcup was fixed for windows some time back, including `ghcup tui`. it even has a PowerShell invocation to download and run it initially |
| 2025-09-10 22:04:18 | <haskellbridge> | <sm> that's what I thought too. I'm just looking at the options at https://www.haskell.org/ghcup/# |
| 2025-09-10 22:04:38 | <geekosaur> | Click "show all platforms" |
| 2025-09-10 22:04:39 | <biberao> | oh so i dont need wsl then? |
| 2025-09-10 22:04:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-10 22:04:50 | <haskellbridge> | <sm> ah, you have to click Show all platforms. page needs an update maybe, maerwald |
| 2025-09-10 22:05:17 | <biberao> | so ill remove wsl |
| 2025-09-10 22:05:43 | <biberao> | i dont see that |
| 2025-09-10 22:05:48 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-09-10 22:05:48 | → | jreicher joins (~user@user/jreicher) |
| 2025-09-10 22:05:49 | <biberao> | show all platforms |
| 2025-09-10 22:06:21 | <biberao> | can you link please? |
| 2025-09-10 22:07:09 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-09-10 22:07:36 | <biberao> | do i need to install msys2? |
| 2025-09-10 22:07:43 | <haskellbridge> | <sm> https://kf8nh.com/_heisenbridge/media/matrix.org/iLBLcdfMQQpypjSGmPcQVjqa/tTWuaB_EmLU/Screenshot%202025-09-10%20at%2023.07.34.png |
| 2025-09-10 22:08:06 | <geekosaur> | it's in small text (and hard to see against the background) right under the Linux/POSIX/WSL2 instruction box |
| 2025-09-10 22:08:40 | <haskellbridge> | <sm> biberao maybe.. what makes you ask that ? |
| 2025-09-10 22:09:07 | <biberao> | i was asking the place |
| 2025-09-10 22:09:28 | <geekosaur> | ghc installs msys2 itself since it needs a specific non-default msys2 toolchain |
| 2025-09-10 22:10:06 | <biberao> | s i do the curl and then do that command? |
| 2025-09-10 22:10:36 | <geekosaur> | if you're using the windows instructions there should be a PowerShell invocation |
| 2025-09-10 22:10:40 | <biberao> | ok |
| 2025-09-10 22:10:42 | <biberao> | thanks |
| 2025-09-10 22:10:46 | <geekosaur> | you won't have curl unless you are using wsl2 |
| 2025-09-10 22:10:54 | <biberao> | oh i didnt see the url embedded sorry |
| 2025-09-10 22:11:03 | <biberao> | thank you |
| 2025-09-10 22:11:05 | <biberao> | ! |
| 2025-09-10 22:11:10 | <biberao> | ill remove wsl2 i dont need ikt |
| 2025-09-10 22:12:03 | <biberao> | thank you very much |
| 2025-09-10 22:12:17 | <haskellbridge> | <sm> no problem |
| 2025-09-10 22:15:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 22:16:02 | × | Taneb quits (~Taneb@ip87-106-35-210.pbiaas.com) (Ping timeout: 260 seconds) |
| 2025-09-10 22:20:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-10 22:26:40 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-09-10 22:31:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 22:36:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 22:37:44 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
| 2025-09-10 22:45:17 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 2025-09-10 22:45:41 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-09-10 22:47:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 22:49:24 | trickard_ | is now known as trickard |
| 2025-09-10 22:50:40 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-10 22:52:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-10 22:53:44 | <monochrom> | Belated: I will design a CPU such that every program is "one" instruction. >:) (Related: a library, called Tweeter, that contains every function implementable in 150 bytes or less.) |
| 2025-09-10 22:54:11 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-10 22:54:26 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-10 22:58:41 | <arahael> | Big library! |
| 2025-09-10 23:03:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 23:03:52 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-10 23:04:23 | × | davidlbowman quits (~dlb@user/davidlbowman) (Quit: WeeChat 4.1.1) |
| 2025-09-10 23:05:14 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 256 seconds) |
| 2025-09-10 23:05:27 | × | biberao quits (~m@user/biberao) (Quit: WeeChat 3.8) |
| 2025-09-10 23:05:51 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-10 23:06:06 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-10 23:06:37 | <monochrom> | It answers the kind of questions like "I'm defining foo f g h x y = f (g x) (h x y), why isn't it in Prelude already!" |
| 2025-09-10 23:09:27 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 258 seconds) |
| 2025-09-10 23:10:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 23:11:14 | × | acidjnk quits (~acidjnk@p200300d6e7171978f1deda3d99afd1a1.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-09-10 23:13:35 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-09-10 23:14:55 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-09-10 23:17:52 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-09-10 23:21:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 23:22:10 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-09-10 23:22:14 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 256 seconds) |
| 2025-09-10 23:23:09 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-09-10 23:26:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 23:27:03 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-09-10 23:28:07 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2025-09-10 23:28:16 | × | Lord_of_Life_ quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-09-10 23:28:17 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-09-10 23:32:10 | → | karenw joins (~karenw@user/karenw) |
| 2025-09-10 23:33:08 | × | sprotte24 quits (~sprotte24@p5b039f5e.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-09-10 23:37:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 23:40:38 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-10 23:40:39 | → | Googulator61 joins (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-10 23:42:00 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-09-10 23:42:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-10 23:43:18 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2025-09-10 23:46:15 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 258 seconds) |
| 2025-09-10 23:47:20 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
All times are in UTC.