(no commit message)

diff --git a/assignment_6_hint_1.mdwn b/assignment_6_hint_1.mdwn
new file mode 100644 (file)
index 0000000..b9d95d2
--- /dev/null
+++ b/assignment_6_hint_1.mdwn
@@ -0,0 +1,8 @@
+Use the following type declarations:
+
+    type count = int;;
+    type computation = count -> (int * count);;
+
+(You can make the computation type polymorphic if you want to.)
+
+If you're still stumped, read Wadler--