What are the advantages/disadvantages when comparing a fork to a spoon?
From Church's thesis, one can easily answer this question: they are equivalent.
The reduction is quite easy. A fork can be reduced to a spoon using a fire, an anvil and a hammer, and a spoon can be reduced to a fork using a saw.
Hope this helps. -- Romain Bardou _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs