projects
/
lambda.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
b9d95d2755e039374a5895b459af872b378889d5
[lambda.git]
/
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--