Evaluating Expressions

Evaluation is the process of finding the value of an expression, just as one does in arithmetic. To evaluate an expression, write #eval in the first of the line followed by the expression which you want to evaluate, the result will be record while the program reach this line. For instance,

#eval 1 + 1 (1)        ⊢ 2: ℝ

Arch obeys the ordinary rules of precedence and associativity for arithmetic operators.