airlang 0.3.0

The Air Programming Language
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
28
29
30
31
32
33
34
35
36
37
38

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

[[bench]]
name = "main"
harness = false

[[test]]
name = "main"

[lints]
workspace = true

[dependencies]
rustc-hash = "1"
nom = "7"
num-bigint = "0.4"
num-traits = "0.2"
num-integer = "0.1"

[dependencies.string_cache]
version = "0.8"
features = []

[dependencies.rand]
version = "0.8"
features = ["small_rng", "alloc"]

[dev-dependencies]
criterion = "0.5"