Releases: idris-hackers/atom-language-idris
Releases · idris-hackers/atom-language-idris
v0.5.0
Added
- Display message panel information when invoking commands
- Add browse command to inspect contents of namespaces
Fixed
v0.4.10
Added
- Display typechecking information
- Copy executable path to clipboard
- Syntax highlitning in message panel
- Proof clause
- higlightning of parameters
- Better support for literate idris
- Added snippets
Fixed
- Display error message from idris
- Idris now restarts if stopped
- fix comments highlightning
v0.4.9
v0.4.8
v0.4.7
v0.4.6
v0.4.5
v0.4.4
Added
- Make apropos view results scrollable #109 (@justjoheinz)
- Codecompletion via autocomplete-plus #98 (@justjoheinz)
- Replace deprecated abstract keyword with export #101 (@justjoheinz)
- Add snippets for the most common interface implementations #99 (@justjoheinz)