From c50ca96e56c02ce10d89dfc59f36a639810acd80 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Thu, 16 Jul 2020 01:30:14 +0100 Subject: [PATCH] Fix typo --- thesis.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/thesis.tex b/thesis.tex index 0258c81..cd3f3fe 100644 --- a/thesis.tex +++ b/thesis.tex @@ -1898,7 +1898,7 @@ notation that makes every facet of control flow and data flow explicit. In CPS every function takes an additional function-argument called the \emph{continuation}, which represents the next computation in evaluation position. CPS is canonical in the sense that is -definable in pure $\lambda$-calculus with any primitives. As an +definable in pure $\lambda$-calculus without any primitives. As an informal illustration of CPS consider the rudimentary factorial function in \emph{direct-style}: %