ddlog-lsp 0.0.0

A language server implementation for DDlog.
Documentation 
{
  "git": {
    "sha1": "462448a1b51ce4e1d9a8fa5d1a47dd0036d98d27"
  }
}