Change separator from \ to / when starting the repl - Githubissues

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

Change separator from \ to / when starting the repl #103

Closed Stilgar84 closed 7 years ago

Stilgar84 commented 7 years ago

Fixes #100

zjhmale commented 7 years ago

Thanks!