1. What does ``;; f : A -> B'' mean?

Solution: Grader: Prof. Proulx

PTS 2: f is a function that consumes elements from A and produces elements from B.

2. Evaluate ((lambda (x) (+ (x 1) 2)) (lambda (x) x)) step-by-step and validate that the result is 3.

Solution:

;; [PTS 2]
  ((lambda (x) (+ (x 1) 2)) (lambda (x) x))
  (+ ((lambda (x) x) 1) 2)
  (+ 1 2)
  3