Merge branch 'master' of ssh://server.philosophy.fas.nyu.edu/Users/lambda/lambda
[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--