From: barker Date: Mon, 1 Nov 2010 19:29:16 +0000 (-0400) Subject: (no commit message) X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=e4905e8f4c89b562612f7cdad2978e8910b9fc81;hp=b6d91e7ba6477182b6f830b80a61be9b21a18a86 --- 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--