From 7752d73216578d5961751b5d0535088d384b4aa6 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.bailly@iohk.io>
Date: Sat, 25 Jan 2025 10:45:41 +0100
Subject: Move λ-calcul workshop code to subdirectory
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 lambda-calcul/rust/Cargo.toml | 45 +++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 45 insertions(+)
 create mode 100644 lambda-calcul/rust/Cargo.toml

(limited to 'lambda-calcul/rust/Cargo.toml')

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"
-- 
cgit v1.2.3