diff options
author | W-M-T | 2016-06-04 11:59:15 +0200 |
---|---|---|
committer | W-M-T | 2016-06-04 11:59:15 +0200 |
commit | a8c17733c076bf72d84535208906e493d1a21659 (patch) | |
tree | a430e55866ed6f20bb86794c79e1231a508c213c /defio.tex | |
parent | Noot over onafheid analyse toegevoegd (diff) |
Some feedback processing
Diffstat (limited to 'defio.tex')
-rw-r--r-- | defio.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3,7 +3,7 @@ \label{sec:def:io} Allereerst definiƫren we het type $\Stack{a}$, omdat stacks we veel met stacks -doen in onze semantiek regels. Een $\Stack{a}$ (lees: een stack van elementen +doen in onze semantiekregels. Een $\Stack{a}$ (lees: een stack van elementen van type $a$) is een simpel datatype met de volgende syntax: \def\inbrackets#1{$\mathrm{[}#1\mathrm{]}$} |