Session 19 Hint 1
Use structural recursion over the inductive expression type to define the structure of your function. There are four kinds of expression, so your function will make a four-way choice.
Use structural recursion over the inductive expression type to define the structure of your function. There are four kinds of expression, so your function will make a four-way choice.