@@ -0,0 +1,3 @@
+-- Slide 64
+
+Expr a = Val a | Inc (Expr a) | Dec (Expr a) | Inv (Expr a) | Neg (Expr a)