- 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
- Display error message from idris
- Idris now restarts if stopped
- fix comments highlightning
- Allow incomplete data definition
- Add record and rewrite keywords
- Support literate files
- Add cast snippet
- Indent after do/where/if/then/else/of
- Save file state when executing commands
- Fix proof search
- Remove deprecated selector
- Report type checking status
- Snippets
- Navigate to error
- Highlight error
- Styling of error messages
- ipkg grammar
- Many different processes are spawned #114 (@pyrtsa)
- use 'cmd' instead of 'alt' on osx (@karljs)
- 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)
- After closing panel once with "X" icon, it no longer appears for type checking/inspection #90 (@justjoheinz)
- syntax highlighting for constructors #95
- class and instance to interface and implementation (@justjoheinz)
- Added a REPL #80
- Added a panel for the
aproposcommand
- 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
- Most commands throw exceptions on Windows 8.1 (@aochagavia)
- parse the new
pkgsoption in the ipkg file idris-lang/Idris-dev/pull/2668
- Add a means of setting the Idris -p option #29
- Restart the idris compiler after every commmand if it was killed #54
- added the ability to style all the idris-panels
- Status message should appear only in idris projects #52 many thanks to @jeremy-w
- make-with (@edwinb)
- make-case (@edwinb)
- make-lemma (@edwinb)
- Uncaught Error: Can't save buffer with no file path #47
- save files before executing a command (@edwinb)
- The Idris Errors panel should tell me if typechecking went successfully #43 (@edwinb)
- fix the new error messages
print-definitionto show the definition of the selected word- add error messages when the compiler crashes/can't be found
- status indicator that shows if a file is loaded or dirty
- metavariables are now called holes
- fixed bug in the parser when there where backslashes in the answer #32 (@david-christiansen)
- Program not loaded before running interactive editing commands #34
- faster startup #28
- new metavariable view (
Language Idris: Metavariables) - a tutorial that explains how to use this package
- context menu for
Language Idris: Type OfandLanguage Idris: Docs For
Language Idris: Proof SearchandLanguage Idris: Add Clause- deprecations that now broke the editor because of the dropped API methods
- Better syntax highlighting
- fixed the parser for the ide-mode lisp
- fixed #18
- fixed #19
- fixed an issue with the error lines not being clickable in the error panel
- Type and doc info highlighting #9 (@archaeron)
- Ensure that keybindings only work on Idris files (#2)
- Syntax highlighting for infix functions
- Fixed a crash when idris was not installed
- Shortcut to Show the doc of a variable (ctrl-alt-d)
- updated for the new version of Atom (@archaeron)
- new parser for the ide-mode commands (@archaeron)
- new serializer for the ide-mode commands (@archaeron)
- various fixes (@ulidtko)
- Case-splitting (ctrl-alt-c) (@fangel)
- Clause-adding (ctrl-alt-a) (@fangel)
- Proof-search (ctrl-alt-s) (@fangel)
- Showing the types of meta-variables (ctrl-alt-t) (@fangel)
- Show the doc of a variable (@fangel)