From e4905e8f4c89b562612f7cdad2978e8910b9fc81 Mon Sep 17 00:00:00 2001 From: barker Date: Mon, 1 Nov 2010 15:29:16 -0400 Subject: [PATCH] --- assignment_6_hint_1.mdwn | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 assignment_6_hint_1.mdwn 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-- -- 2.11.0