v1.9.0

chrissimon-au released this 21 Jun 19:44

· 215 commits to main since this release

6a11eb5

1.9.0 (2023-06-21)

Features

language-server: add support for term aliases and show term definition when hovering over an alias (28103de)

Assets 7