X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=hints%2Fassignment_6_hint_1.mdwn;fp=hints%2Fassignment_6_hint_1.mdwn;h=b9d95d2755e039374a5895b459af872b378889d5;hp=0000000000000000000000000000000000000000;hb=0789d0560ab21cbba934f063fa8948d47a43b72c;hpb=57439ef74347e5ca607d9b717f20e888f879ef87;ds=sidebyside

diff --git a/hints/assignment_6_hint_1.mdwn b/hints/assignment_6_hint_1.mdwn
new file mode 100644
index 00000000..b9d95d27
--- /dev/null
+++ b/hints/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--