fix(report): incorrect cross-reference

2026-07-23 21:02:45 +02:00
parent e73156638b
commit 76bed19106
1 changed files with 1 additions and 1 deletions
@@ -65,7 +65,7 @@ The notations for context are as follows:
  [the context extended with the binding of $"t"$ to the type $"T"$],
 ))

-Finally, the rules expressed in @sec:theory-syntax are written in the form of theorems using the following mathematical syntaxes:
+Finally, the rules expressed in @sec:theory-typing are written in the form of theorems using the following mathematical syntaxes:

 #align(center, grid(
  columns: 2,