Skip to content

0.0.8
Compare
Choose a tag to compare
@meraymond2 meraymond2 released this 13 Feb 20:08
· 92 commits to main since this release
v0.0.8
788242b
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

0.0.8

Added

  • Added :generate-def command.
  • Added :type-at as an option for hover behaviour.

Changed

  • Shorten Idris 2 error message to remove superfluous location information.

Fixed

  • Fix syntax highlighting of nested block comments.
Assets 3
Loading