v0.3.4

archaeron released this 24 Oct 01:06

· 196 commits to master since this release

7aaca0d

Added

Fixed

Added a better description for the path to the idris executable in the settings
Fixed the highlighting of comments
Fix the highlighting of documentation comments #82 (@geo2a)
Initial clause is inserted in wrong place for functions with multiline type annotation. #72

Assets 2