V0.0.14 - Githubissues

meraymond2 / idris-vscode

Idris front-end for VS Code

MIT License

58 stars 10 forks source link

V0.0.14 #87

Closed meraymond2 closed 1 year ago

meraymond2 commented 1 year ago

0.0.14

Added

Changed

Bumped the back-end to 0.1.6, to handle Idris2 0.6.0.
Fixed
Fixed a bug on Windows where it would fail to start the process.
Fixed error msgs being displayed incorrectly due to a change in how they're reported in Idris2 0.6.0.