From 123a65addf8b6c8397abc63c9cd862f31f4d0d8e Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Mon, 24 Aug 2026 13:59:44 +0200 Subject: [PATCH] fix: minor typo missing 'r' in 'Programming' thanks @pmudry --- poster/poster.typ | 2 +- report/acronyms.typ | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/poster/poster.typ b/poster/poster.typ index 7af8b6f..19ffffa 100644 --- a/poster/poster.typ +++ b/poster/poster.typ @@ -121,7 +121,7 @@ caption: [Implementation architecture overview] ) - First, typing rules were formally defined, drawing heavily on _Types and Progamming Languages_@tapl. + First, typing rules were formally defined, drawing heavily on _Types and Programming Languages_@tapl. The implementation of the parser for the definition language follows R. Nystrom's _Crafting Interpreters_@Nystrom2021. The whole system is itself implemented in Python, leveraging the language's own `ast` module to parse and manipulate source code. The type checker also includes some machinery to infer the result types of several *dataframe operations* and *aggregation methods*. ] diff --git a/report/acronyms.typ b/report/acronyms.typ index 984ac98..d4f68e8 100644 --- a/report/acronyms.typ +++ b/report/acronyms.typ @@ -1,7 +1,7 @@ #import "@preview/acrostiche:0.7.0": * #let acronyms = ( - "TaPL": ([Types and Progamming Languages@tapl],), + "TaPL": ([Types and Programming Languages@tapl],), "LSP": (link("https://en.wikipedia.org/wiki/Liskov_substitution_principle")[Liskov substitution principle],), "AST": ([Abstract Syntax Tree],), "LUB": ([Least Upper Bound],),