Typed Arithmetic Expressions

The objective of this assignment is to get familiarized with an implementation of the

language of Typed Arithmetic Expressions. There are no submissions as part of this assignment.
1. Download the template code tyarith.tar.gz.
2. Modify the syntax, semantics and type system of the language of Typed Arithmetic
Expressions to include the boolean operations and, or and not as additional terms in
the language. Make sure that the properties of the original language are not affected
by the changes.
3. Modify the interpreter to incorporate the above changes.
4. See the result of evaluation of the following terms
if (and true 0) then 0 else succ 0
iszero true
succ (and 0 true)
not 0