### Problem Set 5

Purpose The goal of this problem set is to formulate a standard reduction relation and to explore its properties.

Problem 1 Add a standard reduction relation to your Redex model of DADL and a general reduction relation. Name the relation ->dd-standard.

Formulate a redex-check conjecture that relates traverse from Problem Set 3 to the standard reduction relation.

Include the same solution for problem 2 of Problem Set 3 that you used for Problem Set 4.

Deliverable Email a tar.gz bundle to my CCS email address whose name
combines the last names of the pair in alphabetical order. The tar bundle
must contain a single directory—

;; NameOfPartner1, NameOfPartner2 |

;; email@of.partner1.com, email@of.partner2.org |