Skip to content

v0.6.2
Compare
Choose a tag to compare
@fizruk fizruk released this 26 Sep 08:11
· 263 commits to develop since this release
v0.6.2
9120caa
This commit was signed with the committer’s verified signature.
fizruk Nikolai Kudasov
GPG key ID: A4CB545029471D8A
Learn about vigilant mode.

This version contains some improvements in efficiency and also to the language server:

  • Improve efficiency of the tope solver, applying LEM for directed interval only as a fallback option (see #102)
  • Support autocompleting definitions from previous modules (see #102)
    • Well-typed definitions from the same module also work if the module is only partially well-typed!
  • Improve information order in the error messages given in LSP diagnostics (see #104)
Assets 5
Loading