Commit c623927d authored by Kacper Kazaniecki's avatar Kacper Kazaniecki
Browse files

fixing a small typo

parent 502debac
......@@ -63,7 +63,7 @@ Imperial College London
WACC (pronounced ``whack'') is a simple variant on the While family of languages encountered in many program reasoning/verification courses
(in particular in the Models of Computation course taught to our 2nd year undergraduates).
It features all of the common language constructs you would expect of a While-like language,
such as program variables, simple expressions, conditional branching, looping and no-ops.
such as program variables, simple expressions, conditional branching, and no-ops.
It also features a rich set of extra constructs, such as simple types, functions, arrays and basic tuple creation on the heap.
The WACC language is intended to help unify the material taught in our more theoretical courses (such as Models of Computation)
......@@ -294,7 +294,7 @@ The statement must be given a valid WACC type \synt{type}, a variable name \synt
Variable names must not clash with \hl{keywords or already declared
identifiers in accessible scopes}.
They can consist \hl{of and underscore or an alphabetical character followed by
They can consist \hl{of an underscore or an alphabetical character followed by
a sequence of underscore or alphanumerical characters}.
The initial assignment to a variable follows all of the assignment restrictions discussed in detail in the assignment statement section below.
......
Supports Markdown
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