Skip to content

Releases: idris-hackers/atom-language-idris

v0.2.2

09 Aug 17:54
Compare
Choose a tag to compare

Added

Fixed

  • fix the new error messages

v0.2.1

09 Aug 17:54
Compare
Choose a tag to compare

Added

  • print-definition to show the definition of the selected word
  • add error messages when the compiler crashes/can't be found

Fixed

v0.2.0

19 Jul 14:21
Compare
Choose a tag to compare

Added

  • status indicator that shows if a file is loaded or dirty
  • metavariables are now called holes

Fixed

  • 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

v0.1.4

10 Jun 20:08
Compare
Choose a tag to compare

Added

  • new metavariable view (Language Idris: Metavariables)
  • a tutorial that explains how to use this package
  • context menu for Language Idris: Type Of and Language Idris: Docs For

Fixed

  • Language Idris: Proof Search and Language Idris: Add Clause
  • deprecations that now broke the editor because of the dropped API methods

v0.1.3

01 Jun 23:23
Compare
Choose a tag to compare

Added

Fixed

  • 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

v0.1.1

01 Jun 23:23
Compare
Choose a tag to compare

Added

Fixed

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

v0.1.0

01 Jun 23:23
Compare
Choose a tag to compare

Added

  • Shortcut to Show the doc of a variable (ctrl-alt-d)

Fixed

v0.0.1

01 Jun 23:22
Compare
Choose a tag to compare

Added

  • 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)