files

instructions

1. first download Chez Scheme either from

   winget install Cisco.ChezScheme

   or their github page

2. download and extract the precompiled idris2 binaries to a persistent location

3. download the modified extension vsix and install it from vscode

   

4. configure the precompiled idris2 path in the vscode extension, ex.

   C:\Users\win\Desktop\idris-test\idris2-windows-precompiled\.idris2\bin\idris2.cmd