v0.6.3

• Support Go to Definition and Peek Definition #21
• Fix Can't find import bug for REPL #59
• Fix command confliction on unsaved files #55
• Insert new line for Add Clause command #56 @wkwkes

v0.6.1

• Fix huge memory usage issue #52
• Fix shortcuts confliction again #53
• Update commands title #54

v0.6.0

• Support Cleanup Idris binary files action #42
• Add when-clause-context for right-click menu items #44
• Support a new auto-completion mode which will always include all words from the currently opened documentation #43

v0.3.9

• Fix a typo #36
• Hover text should have the same syntactical render with the source code #33
• Support hover on identifiers with a single quote, e.g. name' and 'name #35
• Show more user-friendly error message for hover #32
• Support customizing Idris executable path #38
• Do not show duplicate hover when it is inside a diagnostic #39
• Fix a corner case issue for Add Clause command #41
• Add Idris commands to right-click menu #34
• Trim redundant whitespace and new-line character for Show Documentation command #40
• Support customizing hover behavior #37

v0.3.7

• Eliminate warning messages for hover 28

0.3.6

• Syntax file improvement #24 @be5invis
• Fix loading pkgs for bootstrapping 774ecde @be5invis
• Show type definition on hover #22
• Type checking on saving file #25

v0.3.3

• Update syntax files #16

v0.3.2

• Support fully featured REPL #3 #17
• Support single Idris file #9
• Fix shortcuts confliction #15 @be5invis

v0.3.1

• Update syntax to followed up Idirs 0.99.1 @be5invis
• Add key binding filter for actions @be5invis
• Fix typo for the title of idris.docs-for command @FinnNk

v0.3.0

• Basic features #4