Add Lambdapi translation

NotBad4U · Oct 16, 2024 · f025112 · f025112
1 parent 16adacd
commit f025112
Show file tree

Hide file tree

Showing 24 changed files with 6,101 additions and 5 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/carcara/Cargo.toml b/carcara/Cargo.toml
@@ -11,6 +11,9 @@ indexmap = "2.0.0"
 log = "0.4.20"
 rug = { version = "1.21.0", default-features = false, features = ["integer", "rational"] }
 thiserror = "1.0.47"
+itertools = "0.11"
+try_match = "0.4.1"
+pretty = "0.12.3"
 
 [dev-dependencies]
 test-generator = { path = "../test-generator" }