diff options
-rw-r--r-- | Smurf.dcl | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -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 |