diff options
| author | W-M-T | 2016-05-25 17:49:53 +0200 |
|---|---|---|
| committer | W-M-T | 2016-05-25 17:49:53 +0200 |
| commit | 3599cdb8bcf88679cb40f89ce56b70e8b1683d17 (patch) | |
| tree | d2cfc1db2e8a6d8625fd111fd805de445e809c6a /defio.tex | |
| parent | + nog een bestand (diff) | |
fixes
Diffstat (limited to 'defio.tex')
| -rw-r--r-- | defio.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -9,7 +9,7 @@ van type $a$) is een simpel datatype met de volgende syntax: \def\inbrackets#1{$\mathrm{[}#1\mathrm{]}$} \def\bracka{\inbrackets{a}} \begin{grammar} - <Stack \bracka> ::= [<a>:<Stack \bracka>] | `Nil' + <Stack \bracka> ::= [<a>:<Stack \bracka>] | \Nil \end{grammar} Op een stack zijn twee instructies gedefinieerd: |