Skip to content

AMLC LSP 0.1.0

Choose a tag to compare

View all tags
@chris-in-the-shell chris-in-the-shell released this 03 Sep 05:59
v0.1.0
This tag was signed with the committer’s verified signature.
chris-in-the-shell Christopher
GPG key ID: 644066334FEB2ACC
Verified
Learn about vigilant mode.
cd7a631
This commit was signed with the committer’s verified signature.
chris-in-the-shell Christopher
GPG key ID: 644066334FEB2ACC
Verified
Learn about vigilant mode.

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.

Assets 2
Loading