[package]
name = "airlang_ext"
version = "0.8.0"
edition = "2021"
license = "MIT OR Apache-2.0"
description = "The Extension of 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.8.0"