From 4e11aae8a57625d355a82cef932a828d2276b0ce Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Wed, 22 Jul 2026 11:42:41 +0200 Subject: [PATCH] feat(report): add title and subtitle --- meta.typ | 10 +++++----- report/chapters/03_theory.typ | 2 +- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/meta.typ b/meta.typ index e305a99..b00394b 100644 --- a/meta.typ +++ b/meta.typ @@ -1,5 +1,5 @@ -#let title = "Midas" -#let subtitle = none +#let title = "Midas: Hybrid Type Checking for Python" +#let subtitle = "Strict static type checking and runtime assertions for data integrity" #let authors = "Louis Heredero" #let thesis-supervisor = "Prof. Dr Dimi Racordon" @@ -12,11 +12,11 @@ #let school = "Haute École d'Ingénierie de Sion" #let programme = "Informatique et systèmes de communication (ISC)" -#let keywords = ("engineering", "type systems", "gradual typing") +#let keywords = ("engineering", "type systems", "hybrid typing") #let major = "Data engineering" -#let date = datetime(year: 2026, month: 7, day: 10) // Date of the thesis & the declaration (or datetime.today()) +#let date = datetime(year: 2026, month: 7, day: 24) // Date of the thesis & the declaration (or datetime.today()) -#let permanent-email = "louis@heredero.org" +#let permanent-email = "lordbaryhobal@gmail.com" #let video-url = none #let picture-web-opt-out = false // set to true to keep your picture off the web diff --git a/report/chapters/03_theory.typ b/report/chapters/03_theory.typ index 215dc3b..0c05ab4 100644 --- a/report/chapters/03_theory.typ +++ b/report/chapters/03_theory.typ @@ -17,7 +17,7 @@ The first step to build a useful type checker for Python is to identify the conc == Principles -To talk about type theory and typing rules, we must first define some concepts. B. C. Pierce suggests one definition for type systems: +To talk about type theory and typing rules, we must first define some concepts. Pierce suggests one definition for type systems: #quote(block: true)[ A type system is a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute.@tapl