1#![feature(new_range_api)]
2#![doc(html_logo_url = "https://raw.githubusercontent.com/ygg-lang/oaks/refs/heads/dev/documents/logo.svg")]
3#![doc(html_favicon_url = "https://raw.githubusercontent.com/ygg-lang/oaks/refs/heads/dev/documents/logo.svg")]
4#![doc = include_str!("readme.md")]
5#![allow(missing_docs)]
6
7pub mod ast;
8pub mod builder;
9pub mod highlighter;
10pub mod kind;
11mod language;
12pub mod lexer;
13pub mod lsp;
14pub mod mcp;
15pub mod parser;
16
17pub use crate::{ast::CoqRoot, builder::CoqBuilder, highlighter::CoqHighlighter, language::CoqLanguage, lexer::CoqLexer, lsp::CoqLanguageService, parser::CoqParser};