panproto-expr 0.18.1

Pure functional expression language for panproto enriched theories
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

[package]
name = "panproto-expr"
description = "Pure functional expression language for panproto enriched theories"
version.workspace = true
edition.workspace = true
rust-version.workspace = true
license.workspace = true
repository.workspace = true

[dependencies]
serde = { workspace = true }
thiserror = { workspace = true }
rustc-hash = { workspace = true }

[dev-dependencies]
serde_json = { workspace = true }
proptest = { workspace = true }
divan = { workspace = true }

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

[lints]
workspace = true