0.0.11 - Githubissues

meraymond2 / idris-vscode

Idris front-end for VS Code

MIT License

59 stars 10 forks source link

0.0.11 #69

Closed meraymond2 closed 3 years ago

meraymond2 commented 3 years ago

0.0.11

Added

Syntax highlighting for idris/idris2 code blocks in markdown files.
Idris: Activate Extension command, to manually activate when working with non-idris files.
Support for commands in idris2 blocks in markdown files.
Load packages from .ipkg file in Idris 1.
Changed

Fixed
Support completions for Idris 1 .lidr files.