From 873dc440b80c42d3d85f4ac40fc7752fad8ce378 Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Mon, 24 Aug 2026 14:01:29 +0200 Subject: [PATCH] fix(report): correct T-Assign thanks @sjrd and @kyouko-taiga --- report/chapters/03_theory/typing.typ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/report/chapters/03_theory/typing.typ b/report/chapters/03_theory/typing.typ index edda533..f703d11 100644 --- a/report/chapters/03_theory/typing.typ +++ b/report/chapters/03_theory/typing.typ @@ -103,7 +103,7 @@ ), rule( "T-Assign", - $Gamma tack "x": "T"$, + $"x": "T" in Gamma$, $Gamma tack "t": "T"$, $Gamma tack "x" = "t" tack.l Gamma$, ```py x = t```,