diff options
Diffstat (limited to 'rulesinput.tex')
| -rw-r--r-- | rulesinput.tex | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/rulesinput.tex b/rulesinput.tex index 10b3312..9d8985c 100644 --- a/rulesinput.tex +++ b/rulesinput.tex @@ -6,11 +6,11 @@ i - takes a string from user input, and places it on the stack. \end{quote} -Dit commando is erg slecht gedefinieerd. Mag deze input -bijvoorbeeld line feeds bevatten? Een naïeve implementatie die van stdin -gebruik maakt zou standaard splitsen op line feeds en dit dus niet toestaan. -Een andere implementatie zou gebruik kunnen maken van grafische prompts waarin -het wél mogelijk is meerdere regels input te geven. +Dit commando is erg slecht gedefinieerd. Mag deze input bijvoorbeeld line feeds +bevatten? Een naïeve implementatie die van stdin gebruik maakt zou standaard +splitsen op line feeds en dit dus niet toestaan. Een andere implementatie zou +gebruik kunnen maken van grafische prompts waarin het wél mogelijk is meerdere +regels input te geven. Om bij het redeneren over de semantiek geen last te hebben van zulk soort implementatiedetails hebben we ervoor gekozen hier tot op een hoog niveau van |