solve

Consider the following rules: A; n = n A(a) = V A; x = v A; el = V1 A, x : V1; e2 = 12 A; let x = e1 in e2 - V2 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. 3 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