equal
deleted
inserted
replaced
|
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" |