jinn 0.0.2

Verification-first language and framework for whole Cardano EUTXO protocols (early development; name reserved).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

<div align="center">

<img src="https://raw.githubusercontent.com/jinn-lang/jinn/main/assets/jinn.png" alt="jinn" width="440" />

### A language and toolchain for smart-contract protocols on Cardano

[![crates.io](https://img.shields.io/crates/v/jinn.svg?logo=rust)](https://crates.io/crates/jinn)
[![License](https://img.shields.io/badge/license-Apache--2.0-blue.svg)](https://www.apache.org/licenses/LICENSE-2.0)
[![status: early development](https://img.shields.io/badge/status-early%20development-orange.svg)](https://github.com/jinn-lang/jinn)

</div>

---

**jinn** is an early-stage language and toolchain for building smart-contract protocols on
**Cardano** (EUTXO / Plutus).

> 🚧 **Early development.** This crate currently **reserves the name** on crates.io while the
> design settles — it has **no public API yet** and is **not ready for use**. It will become
> the umbrella facade that re-exports the `jinn-*` crates as those are published.

Development happens in the open — follow along at
**[github.com/jinn-lang/jinn](https://github.com/jinn-lang/jinn)**.

## License

Licensed under the [Apache License, Version 2.0](https://www.apache.org/licenses/LICENSE-2.0).