From 11420c690c1f82c4e516a186c29dead52a2c5de4 Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Sat, 18 Jul 2026 22:43:11 +0200 Subject: [PATCH] fix(report): adjust heading level --- report/chapters/04_implementation/04_midas_language.typ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/report/chapters/04_implementation/04_midas_language.typ b/report/chapters/04_implementation/04_midas_language.typ index 9509361..7c18bd5 100644 --- a/report/chapters/04_implementation/04_midas_language.typ +++ b/report/chapters/04_implementation/04_midas_language.typ @@ -339,7 +339,7 @@ When processing a predicate definition, we first need gather all parameters and caption: [Midas Typer: implementation of `visit_predicate_stmt`] ) -== Example +=== Example Continuing with our example from @fig:example-midas-ast, the type statement would register a new type named `Kelvin` with internal representation given in