Add an implementation of the unary operator not to the Clite interpreter.

(Team Project) Rewrite the abstract syntax of Clite as Scheme lists. Then use these definitions to implement a type checker for Clite in Scheme using the Java implementation as a model.

(Team Project) Rewrite the abstract syntax of Clite as Scheme lists. Then use these definitions to implement the tun-time semantics for Clite in Scheme using the Java implementation as a model.

Extend the symbolic differentiation program so that it differentiates functions with exponents as well as sums and products. This extension should rely on the following knowledge:

du" dx nu du dr for integers n > 0