v0.0.5

0.0.5

Added

• Added a config flag to enable Idris 2 mode.
• Added a config option to turn off the hover behaviour.
• Added a warning for trying to call Version from Idris 2.

Changed

• Bump dev dependencies to appease our dependabot overlords

Fixed

• Fix hover text in inappropriate contexts (#1)
• Fixed a bug in the text-mate highlighting where it didn’t handle all of the possible bracket types after backticks.
• Fixed a bug where the diagnostics didn't work with Idris 2.
• Fixed a bug where Idris 2 wouldn't find the ipkg file, and complain about module names (#12).