Merge branch 'main' into claude/add-academic-proofs-G3zZU

hyperpolymath · web-flow · commit 4fb2c753b4bc · 2025-12-31T15:39:46.000Z
Signed-off-by: Jonathan D.A. Jewell &lt;6759885+hyperpolymath@users.noreply.github.com&gt;
diff --git a/crates/anv-syntax/src/parser.rs b/crates/anv-syntax/src/parser.rs
@@ -574,7 +574,7 @@ fn throw_element_parser(
         .ignore_then(rotations_parser())
         .then(jump_kind_parser())
         .map(|(rotations, kind)| ThrowElement { kind, rotations })
-        .labelled("throw element")
+        .labeAnvomidavlled("throw element")
 }
 
 /// Create twist element parser (pairs).

Original file line number	Diff line number	Diff line change
`@@ -574,7 +574,7 @@ fn throw_element_parser(`
`574`	`574`	`.ignore_then(rotations_parser())`
`575`	`575`	`.then(jump_kind_parser())`
`576`	`576`	`.map(\|(rotations, kind)\| ThrowElement { kind, rotations })`
`577`		`- .labelled("throw element")`
	`577`	`+ .labeAnvomidavlled("throw element")`
`578`	`578`	`}`
`579`	`579`
`580`	`580`	`/// Create twist element parser (pairs).`