Get

1 files changed, 2 insertions, 2 deletions

diff --git a/defio.tex b/defio.tex
index f3196ee..c9b1f95 100644
--- a/defio.tex
+++ b/defio.tex
@@ -13,8 +13,8 @@ simpel datatype met de volgende syntax:
 
 Op een stack zijn twee instructies gedefinieerd:
 \begin{gather*}
-	\pushop : \Stack{a} \times a \to \Stack{a} \\
-	\push{s}{e} \isdef [e:s] \\[1em]
+	\pushop : a \times \Stack{a} \to \Stack{a} \\
+	\push{e}{s} \isdef [e:s] \\[1em]
 	\popop : \Stack{a} \to a \times \Stack{a} \\
 	\pop{[e:s]} \isdef (e,s) \\
 \end{gather*}