jinn/lib.rs
1//! # jinn
2//!
3//! A **verification-first language and framework for whole Cardano EUTXO
4//! protocols**: model a protocol once, then prove safety properties, emit the
5//! on-chain validators (compiled directly to UPLC), and derive the off-chain
6//! transaction builders — projections of one checked artifact.
7//!
8//! **Status: early development — this crate name is reserved.** The umbrella API
9//! (re-exporting the public `jinn-*` crates) is not published yet. Follow
10//! development at <https://github.com/jinn-lang/jinn>.