search

zjhmale / vscode-idris

Idris for Visual Studio Code
https://marketplace.visualstudio.com/items?itemName=zjhmale.Idris
BSD 3-Clause "New" or "Revised" License
106 stars 21 forks source link

Give quoted path to fix cd failure on startup #134

Open Rekihyt opened 3 years ago

zjhmale commented 3 years ago

cool! thx so much