| |
| | [No title] (Site not responding. Last check: 2007-09-17) |
 | | aEval (Plus (a0,a1), sigma) = let val n0 = aEval (a0, sigma) val n1 = aEval (a1, sigma) in n0 + n1 end (* -> n0 -> n1 ------------------------------------- -> n where n is the sum of n0 and n1 *) |
 | | aEval (Minus (a0,a1), sigma) = let val n0 = aEval (a0, sigma) val n1 = aEval (a1, sigma) in n0 - n1 end |
 | | aEval (Times (a0,a1), sigma) = let val n0 = aEval (a0, sigma) val n1 = aEval (a1, sigma) in n0 * n1 end ; (* bEval: bexpr * state -> truthValue *) (* (aEval b sigma) = t iff |
| goedel.cs.uiowa.edu /classes/123/Fall02/Homeworks/hw2-sml (446 words) |
|