[package]
name = "airlang_bin"
version = "0.9.0"
edition = "2021"
license = "MIT OR Apache-2.0"
description = "The Air Programming Language"
repository = "https://github.com/LambdaAlpha/airlang_rs"
keywords = ["language", "solver", "specification", "formal", "logic"]
categories = ["compilers"]

[lints]
workspace = true

[dependencies.airlang]
path = "../lib"
version = "0.9.0"

[dependencies.airlang_ext]
path = "../ext"
version = "0.9.0"

[dependencies]
crossterm = "0.28"