lean-ctx-syntax 0.1.0

Tree-sitter based code structure for LeanCTX | OSS: signatures, deep AST queries, import resolution and the post-edit syntax gate.
Documentation
// SPDX-License-Identifier: Apache-2.0

mod elixir;
mod gdscript;
mod go_java;
mod kotlin_swift;
mod lua;
mod python;
mod ruby;
mod rust;
mod scala;
mod typescript;
mod zig;

pub(crate) use self::elixir::*;
pub(crate) use self::gdscript::*;
pub(crate) use self::go_java::*;
pub(crate) use self::kotlin_swift::*;
pub(crate) use self::lua::*;
pub(crate) use self::python::*;
pub(crate) use self::ruby::*;
pub(crate) use self::rust::*;
pub(crate) use self::scala::*;
pub(crate) use self::typescript::*;
pub(crate) use self::zig::*;