X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=assignment_6_hint_1.mdwn;fp=assignment_6_hint_1.mdwn;h=b9d95d2755e039374a5895b459af872b378889d5;hb=e4905e8f4c89b562612f7cdad2978e8910b9fc81;hp=0000000000000000000000000000000000000000;hpb=b6d91e7ba6477182b6f830b80a61be9b21a18a86;p=lambda.git diff --git a/assignment_6_hint_1.mdwn b/assignment_6_hint_1.mdwn new file mode 100644 index 00000000..b9d95d27 --- /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--