#![doc = include_str!("../README.md")]

use arborium_tree_sitter::Language;

unsafe extern "C" {
    fn tree_sitter_agda() -> Language;
}

/// Returns the agda tree-sitter language.
pub fn language() -> Language {
    unsafe { tree_sitter_agda() }
}



/// The highlights query for agda.
pub const HIGHLIGHTS_QUERY: &str = include_str!("../queries/highlights.scm");




/// The injections query for agda (empty - no injections available).
pub const INJECTIONS_QUERY: &str = "";



/// The locals query for agda (empty - no locals available).
pub const LOCALS_QUERY: &str = "";

