Merge pull request #860 from andrew-johnson-4/continue-c-target-2

Continue c target 2
andrew-johnson-4 · Oct 26, 2024 · 8aadf49 · 8aadf49
2 parents c5f74fd + 2989dae
commit 8aadf49
Show file tree

Hide file tree

Showing 58 changed files with 31,417 additions and 35,065 deletions.
diff --git a/BOOTSTRAP/cli.s b/BOOTSTRAP/cli.s
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "lambda_mountain"
-version = "1.17.23"
+version = "1.17.24"
 authors = ["Andrew <andrew@subarctic.org>"]
 license = "MIT"
 description = "Typed Macro Assembler (backed by Coq proofs-of-correctness)"

diff --git a/LIB/binop-macro.lm b/LIB/binop-macro.lm
diff --git a/LIB/default-blobs.lm b/LIB/default-blobs.lm
diff --git a/LIB/default-btree.lm b/LIB/default-btree.lm