meraymond2 / idris-vscode

Idris front-end for VS Code

MIT License

59 stars 10 forks source link

Bump version #9

Closed meraymond2 closed 4 years ago

meraymond2 commented 4 years ago

0.0.4

Added

Support for .ipkg and .lidr syntax highlighting

Changed

Improved the regex syntax highlighting
Updated dev dependencies for security

Fixed

Fixed an invisible bug where it would try to get the type of the whole document when hovering over a space