Skip to content

v1.4.0
Compare
Choose a tag to compare
@valis valis released this 29 Jun 10:09
· 1819 commits to master since this release
v1.4.0
ed7c651

Updates:

  • Highlighting and resolving of expressions in error messages.
  • Fill goal and refine intentions can be invoked on goals. The latter is implemented through language extensions.
  • REPL can be invoked from the main menu.
  • Aliases support.
  • Improved goto next/previous error.
  • Debug for meta definitions.
  • Improved documentation support.
Assets 2
Loading