[dependencies]
[package]
authors = ["hvithrafn <hvithrafn@users.noreply.github.com>"]
description = "A language server implementation for DDlog.\n"
edition = "2018"
license = "Apache-2.0 WITH LLVM-exception"
name = "ddlog-lsp"
readme = "README.md"
version = "0.0.0"