| 2025-09-11 00:00:09 +0200 | <biberao> | sm i dont? |
| 2025-09-11 00:00:13 +0200 | <biberao> | to install ghcup» |
| 2025-09-11 00:00:15 +0200 | <biberao> | ? |
| 2025-09-11 00:00:20 +0200 | <biberao> | i was advise to do that |
| 2025-09-11 00:00:30 +0200 | <biberao> | how do i now use ghcup with vscode? |
| 2025-09-11 00:00:43 +0200 | <biberao> | do i need to install vscode on wsl? |
| 2025-09-11 00:02:57 +0200 | <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-11 00:03:29 +0200 | <haskellbridge> | <sm> I'm pretty sure vscode does not require wsl. ghcup is the only tool that needs it. |
| 2025-09-11 00:03:57 +0200 | <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-11 00:04:18 +0200 | <haskellbridge> | <sm> that's what I thought too. I'm just looking at the options at https://www.haskell.org/ghcup/# |
| 2025-09-11 00:04:38 +0200 | <geekosaur> | Click "show all platforms" |
| 2025-09-11 00:04:39 +0200 | <biberao> | oh so i dont need wsl then? |
| 2025-09-11 00:04:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-11 00:04:50 +0200 | <haskellbridge> | <sm> ah, you have to click Show all platforms. page needs an update maybe, maerwald |
| 2025-09-11 00:05:17 +0200 | <biberao> | so ill remove wsl |
| 2025-09-11 00:05:43 +0200 | <biberao> | i dont see that |
| 2025-09-11 00:05:48 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-09-11 00:05:48 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-11 00:05:49 +0200 | <biberao> | show all platforms |
| 2025-09-11 00:06:21 +0200 | <biberao> | can you link please? |
| 2025-09-11 00:07:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-11 00:07:36 +0200 | <biberao> | do i need to install msys2? |
| 2025-09-11 00:07:43 +0200 | <haskellbridge> | <sm> https://kf8nh.com/_heisenbridge/media/matrix.org/iLBLcdfMQQpypjSGmPcQVjqa/tTWuaB_EmLU/Screenshot%2… |
| 2025-09-11 00:08:06 +0200 | <geekosaur> | it's in small text (and hard to see against the background) right under the Linux/POSIX/WSL2 instruction box |
| 2025-09-11 00:08:40 +0200 | <haskellbridge> | <sm> biberao maybe.. what makes you ask that ? |
| 2025-09-11 00:09:07 +0200 | <biberao> | i was asking the place |
| 2025-09-11 00:09:28 +0200 | <geekosaur> | ghc installs msys2 itself since it needs a specific non-default msys2 toolchain |
| 2025-09-11 00:10:06 +0200 | <biberao> | s i do the curl and then do that command? |
| 2025-09-11 00:10:36 +0200 | <geekosaur> | if you're using the windows instructions there should be a PowerShell invocation |
| 2025-09-11 00:10:40 +0200 | <biberao> | ok |
| 2025-09-11 00:10:42 +0200 | <biberao> | thanks |
| 2025-09-11 00:10:46 +0200 | <geekosaur> | you won't have curl unless you are using wsl2 |
| 2025-09-11 00:10:54 +0200 | <biberao> | oh i didnt see the url embedded sorry |
| 2025-09-11 00:11:03 +0200 | <biberao> | thank you |
| 2025-09-11 00:11:05 +0200 | <biberao> | ! |
| 2025-09-11 00:11:10 +0200 | <biberao> | ill remove wsl2 i dont need ikt |
| 2025-09-11 00:12:03 +0200 | <biberao> | thank you very much |
| 2025-09-11 00:12:17 +0200 | <haskellbridge> | <sm> no problem |
| 2025-09-11 00:15:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-11 00:16:02 +0200 | Taneb | (~Taneb@ip87-106-35-210.pbiaas.com) (Ping timeout: 260 seconds) |
| 2025-09-11 00:20:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-11 00:26:40 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-11 00:31:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-11 00:36:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-11 00:37:44 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
| 2025-09-11 00:45:17 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 2025-09-11 00:45:41 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-09-11 00:47:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-11 00:49:24 +0200 | trickard_ | trickard |
| 2025-09-11 00:50:40 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-11 00:52:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-11 00:53:44 +0200 | <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-11 00:54:11 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-11 00:54:26 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-11 00:58:41 +0200 | <arahael> | Big library! |
| 2025-09-11 01:03:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-11 01:03:52 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-11 01:04:23 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Quit: WeeChat 4.1.1) |
| 2025-09-11 01:05:14 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 256 seconds) |
| 2025-09-11 01:05:27 +0200 | biberao | (~m@user/biberao) (Quit: WeeChat 3.8) |
| 2025-09-11 01:05:51 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-11 01:06:06 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-11 01:06:37 +0200 | <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-11 01:09:27 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 258 seconds) |
| 2025-09-11 01:10:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-11 01:11:14 +0200 | acidjnk | (~acidjnk@p200300d6e7171978f1deda3d99afd1a1.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-09-11 01:13:35 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-09-11 01:14:55 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-09-11 01:17:52 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-11 01:21:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-11 01:22:10 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-09-11 01:22:14 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 256 seconds) |
| 2025-09-11 01:23:09 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-11 01:26:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-11 01:27:03 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-11 01:28:07 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2025-09-11 01:28:16 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-09-11 01:28:17 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-09-11 01:32:10 +0200 | karenw | (~karenw@user/karenw) karenw |
| 2025-09-11 01:33:08 +0200 | sprotte24 | (~sprotte24@p5b039f5e.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-09-11 01:37:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-11 01:40:38 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-11 01:40:39 +0200 | Googulator61 | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-11 01:42:00 +0200 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-09-11 01:42:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-11 01:43:18 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-09-11 01:46:15 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 258 seconds) |
| 2025-09-11 01:47:20 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-09-11 01:47:23 +0200 | acidjnk | (~acidjnk@p200300d6e717192649d3cadc2eaa05e5.dip0.t-ipconnect.de) acidjnk |
| 2025-09-11 01:53:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-11 01:58:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-11 02:01:06 +0200 | mikess | (~sam@user/mikess) mikess |
| 2025-09-11 02:02:14 +0200 | acidjnk | (~acidjnk@p200300d6e717192649d3cadc2eaa05e5.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-09-11 02:03:19 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-09-11 02:04:57 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-11 02:05:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-11 02:08:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-11 02:10:39 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-11 02:14:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-11 02:15:16 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-11 02:21:10 +0200 | otto_s | (~user@p5b0442fa.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-09-11 02:22:49 +0200 | otto_s | (~user@p5de2f433.dip0.t-ipconnect.de) |
| 2025-09-11 02:24:18 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-09-11 02:24:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-11 02:31:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-11 02:31:42 +0200 | mange | (~mange@user/mange) mange |
| 2025-09-11 02:35:25 +0200 | karenw_ | (~karenw@user/karenw) karenw |
| 2025-09-11 02:36:19 +0200 | Axma39609 | Axman6 |
| 2025-09-11 02:37:43 +0200 | karenw | (~karenw@user/karenw) (Ping timeout: 265 seconds) |
| 2025-09-11 02:38:54 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-09-11 02:40:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c68c:683e:9c65:6f0a) (Ping timeout: 265 seconds) |
| 2025-09-11 02:41:27 +0200 | mikess | (~sam@user/mikess) (Ping timeout: 258 seconds) |
| 2025-09-11 02:46:03 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-09-11 02:57:07 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-11 02:58:17 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
