meraymond2 / idris-vscode

Idris front-end for VS Code
MIT License
59 stars 10 forks source link

Update deps #68

Closed meraymond2 closed 3 years ago

meraymond2 commented 3 years ago

Bumping some dev dependencies to make GH quiet.

I had to move the file reading to a separate file in order to unit test the ipkg parsing, because vscode isn't available in unit tests.