diff options
Diffstat (limited to 'ruleshead.tex')
| -rw-r--r-- | ruleshead.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ruleshead.tex b/ruleshead.tex index 53b4bf2..d45bee3 100644 --- a/ruleshead.tex +++ b/ruleshead.tex @@ -3,7 +3,7 @@ \label{sec:rules:head} \begin{quote} - h - Pops a string from the stack, and pushes its head, ie the first + h - Pops a string from the stack, and pushes its head, that is the first character. This causes an error if used on the empty string. \end{quote} @@ -24,7 +24,7 @@ $$ {\ip'}{\op}{\st} \using{\rheadns} \qquad - \text{met $(c~s,\stk') = \pop{\stk}$.} + \text{met $\pop{\stk} = (c~s,\stk')$.} \end{prooftree} $$ |