lmntal-language-server 0.2.0

A language server for LMNtal.
Documentation
1
2
3
4
5
6
7
use serde::Deserialize;

#[derive(Deserialize, Default, Debug)]
#[serde(rename_all = "camelCase")]
pub struct Config {
    pub check_for_updates: bool,
}