HEL/TB-Docs
1
0
Fork 0
Code Issues Pull Requests Releases 1 Activity

fix: minor typo

Browse Source 
missing 'r' in 'Programming'
thanks @pmudry
This commit is contained in:
HEL
2026-08-24 13:59:44 +02:00
parent c5b703efe8
commit 123a65addf
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
poster/poster.typ
+1 -1
View File
@@ -121,7 +121,7 @@
caption: [Implementation architecture overview] caption: [Implementation architecture overview]
) <fig:architecture> ) <fig:architecture>
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 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*. The type checker also includes some machinery to infer the result types of several *dataframe operations* and *aggregation methods*.
] ]
report/acronyms.typ
+1 -1
View File
@@ -1,7 +1,7 @@
#import "@preview/acrostiche:0.7.0": * #import "@preview/acrostiche:0.7.0": *
#let acronyms = ( #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],), "LSP": (link("https://en.wikipedia.org/wiki/Liskov_substitution_principle")[Liskov substitution principle],),
"AST": ([Abstract Syntax Tree],), "AST": ([Abstract Syntax Tree],),
"LUB": ([Least Upper Bound],), "LUB": ([Least Upper Bound],),