diff options
author | Camil Staps | 2016-04-29 09:56:12 +0200 |
---|---|---|
committer | Camil Staps | 2016-04-29 09:56:12 +0200 |
commit | 051c95d922a94a4125e10de02702ed4e787eb965 (patch) | |
tree | 9362936c2e01c3a1acbb31a7a83d7c21922127e4 /ruleshead.tex | |
parent | Abstract (diff) |
Labels
Diffstat (limited to 'ruleshead.tex')
-rw-r--r-- | ruleshead.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ruleshead.tex b/ruleshead.tex index 70d15ab..ce321db 100644 --- a/ruleshead.tex +++ b/ruleshead.tex @@ -1,5 +1,6 @@ % vim: set spelllang=nl: \subsection{\texttt{Head}} +\label{sec:rules:head} \begin{quote} h - Pops a string from the stack, and pushes its head, ie the first |