v0.2.0

AMLC and AppliedML dialect support

• Route legacy program files with form or term through AMLC, and current contracts, programs, and interfaces through the offline Rehovot checker.
• Provide dialect-specific keyword completions and an optional legacy, appliedml, or auto server setting.
• Diagnose capitalised Contract and Program compatibility spellings without rejecting valid source.
• Parse legacy AMLC form and term declarations in the shared Tree-sitter grammar.

AMLC LSP 0.1.0

Initial release of the AML and AppliedML language server.

Highlights:

• Compiler-backed diagnostics and semantic editor features
• Neovim configuration and a Zed development extension
• Native OPAM and reproducible Nix build verification

Runtime note: AML diagnostics require a compatible amlc executable. AppliedML diagnostics additionally require rehovot-check.