solve

Q3 Operational Semantics 5 Points Consider the following rules: A; n = n A(a) = V A; x = v A; el = v1 A, x : V1; e2 + V2 A; let x = e1 in e2 = 12 A; el = n1 A; e2 - n2 n3 is n1 + n2 A; el + e2 = n3 Using the rules above, our goal is to show that let x = 1 in x+1 = 2 . Help out by filling in the blanks below. ' W A, L 2;x =1 1=1 [4] A; [1_ A, [ 2_]; x+1 = 2 A; let x = 1 in x + 1= 2 Note: You'll see that 2 is listed twice. This is intentional. In fact, it reveals that the same thing should go in both places. Blank 1: Blank 2: X:1 Blank 3: A, X : 1; X - 1 A, x : 1; 1 -1 2 is 1 + 1 Blank 4: 2 is 1+ 1