idris2 compiled for windows
idris2 modified extension with windows support


  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.