Idris2
Idris2 copied to clipboard
idris-lang
[ doc ] Add Windows WSL usage
Description
Add step by step instruction to use Idris 2 on windows easily.
@CodingCellist maybe i want to rethink the guide. Something along the lines: "here is an opinionated setup on windows"
- build from source using chez on ubuntu under wls
- install pack and idris2-lsp (add to bashrc)
- use vscode with wls container extension and bamboo.idris2-lsp idris
In the form of a copy pasteable script, and leaving out all other details.
What do you think?
I thought more about your feedback, we could include both opinionated setup and general instructions. In the form of:
Example enviroment setup on windows:
This is a step-by-step guide for an opinionated setup. It provides general instructions for each step and copy pasteble commands that should work in most cases for the hasty.
- install windows wsl
- see instructions [here](https://learn.microsoft.com/en-us/windows/wsl/install)
- or `wsl --install`
- install a linux distribution if you do not have already one
- see guide [here](other link)
- or `wsl --install -d Ubuntu`
- and so on
I wait for feedback before rewriting.
Thank you very much for the precious info, it is very appreciated.
@freddi301 I really like the idea of the "opinionated setup for the hasty" note, followed by a nobrainer script! : ) EDIT: I would include some bullet-points describing what the opinionated setup does from a broad overview. Just so that we're upfront about things. /EDIT
Much as I personally would prefer to have both simple and generic instructions, it might be a bit too much both to maintain and have on the page (unless others disagree), so I think limiting the "Advanced/Custom Guide" to links to the relevant docs and something along the lines of "the idea is the same: WSL -> Chez Scheme -> Idris2 -> idris2-lsp" as instructions (with slightly more words), should be fine.
I've left some replies to the changes requested. I hope this helps : )
