v0.0.13

What's Changed

• lsp: implement textDocument/documentSymbol by @bneiswander in #109
• Use glob base as walk roots in the language server by @purefunctor in #154
• lsp: implement textDocument/documentHighlight by @bneiswander in #110
• [ls] Implement references for local bindings by @purefunctor in #155
• [ls] Refactor textDocument/documentHighlight implementation by @purefunctor in #157
• [checking] Allow recovery for do expressions with final let by @purefunctor in #159
• [ls] Implement initial local completions by @purefunctor in #160
• [checking] Implement holes for terms and types by @purefunctor in #161
• [checking] Use row kind inference in Prim.Union by @purefunctor in #162
• [checking] Include kind unification in instance matching by @purefunctor in #163
• [agents] Update AGENTS.md and skills by @purefunctor in #164
• [checking] Implement overlapping instance checks by @purefunctor in #165
• [indexing] Minor refactorings for correctness by @purefunctor in #166
• Bump codecov/codecov-action from 5 to 7 by @dependabot[bot] in #168
• Bump actions/checkout from 6 to 7 by @dependabot[bot] in #169
• [documenting] Implement initial package documentation generator by @purefunctor in #167
• [lowering] Preserve expression literal values by @purefunctor in #170
• Fix clippy warnings by @purefunctor in #171
• [parsing] Optimize lexer and parser throughput by @purefunctor in #173
• [agents] Install Rust formatting and linting components by @purefunctor in #179
• [syntax] Migrate syntax trees to Syntree by @purefunctor in #178
• [agents] Clarify agent code style guidance by @purefunctor in #181
• [checking] Reduce dependency lookup and overlap costs by @purefunctor in #184
• [building] Optimize query engine state tracking by @purefunctor in #183
• [meta] Update dependencies affected by security advisories by @purefunctor in #187
• Fix test runner color detection by @purefunctor in #188
• [checking] Move functional dependency oracle into tests by @purefunctor in #189
• [checking] Implement evidence graph by @purefunctor in #192
• [checking] Add checked semantic tree foundation by @purefunctor in #193
• [agents] Install cargo-insta in agent setup by @purefunctor in #195
• [checking] Add initial value declaration lowering by @purefunctor in #194
• [checking] Retain checked application structure by @purefunctor in #196
• [checking] Retain class and instance dictionary structure by @purefunctor in #197
• [checking] Retain expression literals in the semantic tree by @purefunctor in #199
• [checking] Retain array and record expression structure by @purefunctor in #198
• [checking] Lower operator expressions into applications by @purefunctor in #200
• [checking] Retain local let bindings in the semantic tree by @purefunctor in #201
• [checking] Retain checked case expressions in the semantic tree by @purefunctor in #202
• Retain checked lambda expressions in the semantic tree by @purefunctor in #203
• [checking] Retain checked do and ado expressions in the semantic tree by @purefunctor in #204
• [checking] Retain checked if-then-else expressions in the semantic tree by @purefunctor in #205
• [checking] Retain record access and update expressions in the semantic tree by @purefunctor in #206
• [checking] Retain section expressions in the semantic tree by @purefunctor in #207
• [checking] Implement semantic deriving for Eq, Ord, Eq1, Ord1 by @purefunctor in #208
• [release] 0.0.13 by @purefunctor in #209

Full Changelog: v0.0.12...v0.0.13