Skip to content

v0.0.7
Compare
Choose a tag to compare
@meraymond2 meraymond2 released this 23 Dec 13:06
· 106 commits to main since this release
v0.0.7
d2da397
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.7

Added

Changed

  • Trim leading ? so hover can show types of metavariables.
  • Bump idris-ide-client version to 0.1.4, which has better Idris 2 support.

Fixed

  • Fix a bug where extension would prompt for reload on any config change.
  • Workaround a bug in Idris 2 where it would mangle messages based on a mis-inferred terminal width.
Assets 2
Loading