5851
|
1 |
primrec
|
|
2 |
"evala env (IF b a1 a2) =
|
|
3 |
(if evalb env b then evala env a1 else evala env a2)"
|
|
4 |
"evala env (Sum a1 a2) = evala env a1 + evala env a2"
|
|
5 |
"evala env (Diff a1 a2) = evala env a1 - evala env a2"
|
|
6 |
"evala env (Var v) = env v"
|
|
7 |
"evala env (Num n) = n"
|