Index
Blog

# Mini-Project 1

1. Write a relation bevalR in the same style as aevalR. Prove that it is equivalent to beval. A goal should be making your proof as abstract as is possible.