fix(report): correct T-Assign · 873dc440b8 - TB-Docs - HERDAC

HEL/TB-Docs

fix(report): correct T-Assign

thanks @sjrd and @kyouko-taiga

This commit is contained in:

HEL

2026-08-24 14:01:29 +02:00

parent 123a65addf

commit 873dc440b8

1 changed files with 1 additions and 1 deletions

									
										report/chapters/03_theory/typing.typ
									
		+1
		-1
	
												View File
												
					@@ -103,7 +103,7 @@

					  ),

					  ),

					  rule(

					  rule(

					    "T-Assign",

					    "T-Assign",

					    $Gamma tack "x": "T"$,

					    $"x": "T" in Gamma$,

					    $Gamma tack "t": "T"$,

					    $Gamma tack "t": "T"$,

					    $Gamma tack "x" = "t" tack.l Gamma$,

					    $Gamma tack "x" = "t" tack.l Gamma$,

					    ```py x = t```,

					    ```py x = t```,