Install Idris2 on Windows using WSL - Tutorial
Thanks for watching this short tutorial about how to install Idris2 on windows using WSL.
Troubleshooting:
If installing WSL fails, try using the manual steps detailed here https://docs.microsoft.com/en-us/wind...
The written instructions are here: https://github.com/idris-lang/Idris2/...
Summary:
install WSL
update apt : sudo apt update
install dependencies : sudo apt install make libgmp3-dev gcc chezscheme rlwrap
clone the repo: git clone https://github.com/idris-lang/Idris2.git
go into the directory: cd Idris2
bootstrap the compiler: make bootstrap SCHEME=scheme
install : make install
add idris2 to path: export PATH="~/.idris2/bin:$PATH"
If you have a specific question to ask, head to discord: / discord