From 76bed191066d40329423c9dfc0eab8819fe98c3e Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Thu, 23 Jul 2026 21:02:45 +0200 Subject: [PATCH] fix(report): incorrect cross-reference --- report/chapters/03_theory.typ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/report/chapters/03_theory.typ b/report/chapters/03_theory.typ index 64cc54a..9442fba 100644 --- a/report/chapters/03_theory.typ +++ b/report/chapters/03_theory.typ @@ -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,