snark 0.0.1

Tree-sitter-compatible grammar package model and Weavy lowering scaffold.
Documentation 
1
2
3
4
5
6
7
8
9

//! Non-foundational proof modules.
//!
//! Milestone modules are allowed to be deliberately smaller than the real
//! Tree-sitter compatibility contract. They must not define Snark's runtime
//! semantics, and they are not intended as stable crate API. Production parsing
//! is expected to go through validated lowering into Snark's Weavy dialect.

#[doc(hidden)]
pub mod scannerless;