summaryrefslogtreecommitdiff
path: root/lambda-calcul/rust/Cargo.toml
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud.bailly@iohk.io>2025-01-25 10:45:41 +0100
committerArnaud Bailly <arnaud.bailly@iohk.io>2025-01-25 10:45:41 +0100
commit7752d73216578d5961751b5d0535088d384b4aa6 (patch)
tree786e46fe1276e93ade0a48398cd4c9ac13081707 /lambda-calcul/rust/Cargo.toml
parentd6f68e919db51d366c8ca3c1509bea12aa81d692 (diff)
downloadlambda-nantes-7752d73216578d5961751b5d0535088d384b4aa6.tar.gz
Move λ-calcul workshop code to subdirectory
Diffstat (limited to 'lambda-calcul/rust/Cargo.toml')
-rw-r--r--lambda-calcul/rust/Cargo.toml45
1 files changed, 45 insertions, 0 deletions
diff --git a/lambda-calcul/rust/Cargo.toml b/lambda-calcul/rust/Cargo.toml
new file mode 100644
index 0000000..c742302
--- /dev/null
+++ b/lambda-calcul/rust/Cargo.toml
@@ -0,0 +1,45 @@
+[package]
+name = "rust"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]
+rand = { version = "0.8.5", features = ["small_rng"] }
+serde = { version = "1.0", features = ["derive"] }
+serde_json = "1.0.128"
+chrono = { version= "0.4.38", features = ["serde"]}
+actix-web = "4.9.0"
+env_logger = "0.8"
+log = "0.4"
+futures = "0.3.30"
+async-std = "1.13.0"
+reqwest = "0.12.8"
+tokio = { version = "1.40.0", features = ["rt", "macros", "rt-multi-thread"]}
+clap = { version = "4.5.19", features = ["derive"] }
+proptest = "1.0.0"
+handlebars = { version = "5", features = ["dir_source"] }
+
+[dependencies.uuid]
+version = "1.10.0"
+features = [
+ "v4", # Lets you generate random UUIDs
+ "fast-rng", # Use a faster (but still sufficiently random) RNG
+ "macro-diagnostics", # Enable better diagnostics for compile-time UUIDs
+ "serde"
+]
+
+[lib]
+name = "lambda"
+path = "src/lib.rs"
+
+[[bin]]
+name = "eval"
+path = "src/main.rs"
+
+[[bin]]
+name = "tester"
+path = "src/tester.rs"
+
+[[bin]]
+name = "server"
+path = "src/web.rs"