Hello. I'm trying to learn something but i have big problems. Could
you translate me this program:
type var = string;
datatype exp =
N of int
| V of var;
type value = int;
type state = var -> value;
fun expSem
(N i)(s) = i
| expSem (V v)(s:state) = s v;
what mean: (N i)(s) = i
also:
(V v)(s:state) = s v;
Thank you verry much for help.
