Commentsprover

1 files changed, 6 insertions, 6 deletions

diff --git a/Smurf.dcl b/Smurf.dcl
index 0ca45b2..d67b471 100644
--- a/Smurf.dcl
+++ b/Smurf.dcl
@@ -12,12 +12,12 @@ from Data.Maybe import ::Maybe(Nothing)
 
 from LaTeX import class toLaTeX
 
-:: Expr = Lit String
-        | Var String
-        | ECat Expr Expr
-        | EHead Expr
-        | ETail Expr
-        | EQuotify Expr
+:: Expr = Lit String      // Literal string
+        | Var String      // Variable
+        | ECat Expr Expr  // e1 concatenated with e2
+        | EHead Expr      // The head of e
+        | ETail Expr      // The tail of e
+        | EQuotify Expr   // e, quotified
 
 :: Stm = Push Expr
        | Input | Output