diff options
| author | Arnaud Bailly <arnaud.bailly@iohk.io> | 2025-01-25 10:45:41 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud.bailly@iohk.io> | 2025-01-25 10:45:41 +0100 |
| commit | 7752d73216578d5961751b5d0535088d384b4aa6 (patch) | |
| tree | 786e46fe1276e93ade0a48398cd4c9ac13081707 /lambda-calcul/rust/Cargo.toml | |
| parent | d6f68e919db51d366c8ca3c1509bea12aa81d692 (diff) | |
| download | lambda-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.toml | 45 |
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" |
