From fcb63fa94f743b1209a78e8ee2cb8f2ac3354f59 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Fri, 2 Oct 2020 00:56:59 +0100 Subject: [PATCH] Rewording. --- thesis.tex | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/thesis.tex b/thesis.tex index 2b91d30..4cb1292 100644 --- a/thesis.tex +++ b/thesis.tex @@ -2201,12 +2201,12 @@ interpret an application of $\whoami$. \] % It is not difficult to extend this basic environment model to support -a more faithful UNIX environment supporting an arbitrary number of -variables. This can be done by parameterising the $\Ask$ operation by -some name representation (e.g. a string), which the environment -handler can use to index into a list of string values. In case the -name is unbound the environment handler can adopt the lax attitude of -UNIX and resume with the empty string. +an arbitrary number of variables. This can be done by parameterising +the $\Ask$ operation by some name representation (e.g. a string), +which the environment handler can use to index into a list of string +values. In case the name is unbound the environment handler can +embrace UNIX's laissez-faire attitude and resume with the empty +string. \paragraph{Session management}