v0.1.1

archaeron released this 01 Jun 23:23

· 383 commits to master since this release

ae2b3b8

Added

Type and doc info highlighting #9 (@archaeron)

Fixed

Ensure that keybindings only work on Idris files (#2)
Syntax highlighting for infix functions
Fixed a crash when idris was not installed

Assets 2