diff -r 46eee459a999 -r 66adcae6c762 handouts/ho04.tex --- a/handouts/ho04.tex Thu Oct 05 14:36:54 2023 +0100 +++ b/handouts/ho04.tex Fri Oct 13 15:07:37 2023 +0100 @@ -513,7 +513,7 @@ $r_2$ or $r_{2s}$. Unfortunately, this is still not the right value in general because there might be some simplifications that happened inside $r_2$ and for which the simplification -function returned also a rectification function $f_{2s}$. So in +function also returned a rectification function $f_{2s}$. So in fact we need to apply this one too which gives \begin{center} @@ -894,7 +894,7 @@ been taught this language. Anyway, this language had over 600 keywords (or what they called \emph{reserved words}). Interestingly though this language is still used in 2020: during the height of - Corona crisis the State of New Jewrsey in the US was looking for + Corona crisis the State of New Jersey in the US was looking for COBOL programers who could fix the state's national insurance webpage. You were probably paid in gold and diamonds, if you were able to program in COBOL. If you fixed their webpage, surely you