@@ -1,3 +1,6 @@
+-- Exercise 4.1
+-- George C. Privon
+-- 2023-12-22
type R = Double
type Derivative = (R -> R) -> R -> R
