Changelog

0.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

0.3.3

Update syntax files #16

0.3.2

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

0.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

0.3.0

Basic features #4