changed my unit_M to Chris' convention of M_unit, for consistency
[lambda.git] / hints / assignment_6_hint_1.mdwn
1 Use the following type declarations:
2
3     type count = int;;
4     type computation = count -> (int * count);;
5
6 (You can make the computation type polymorphic if you want to.)
7
8 If you're still stumped, read Wadler--