Commit c66bc45b authored by Markus Klinik's avatar Markus Klinik
Browse files

coffee: wording

parent f9389f1f
......@@ -122,7 +122,8 @@ The following code is its data type definition in Clean.
, haveCoffee :: Int
}
\end{CLEAN}
The three actions are defined as follows, given in pseudo-syntax of our action description DSL.
The three actions are defined as follows, described below.
They are given in our action description DSL, the format of which should be self-explanatory.
\begin{CLEAN}
Action addWater amount
(amount > 0 && state.water + amount <= maxWater)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment