Hi OCaml hackers,

I have a question about how can I write a function which can get the
remainder of two church numberials in lambda calculus. I know this is a
ocaml maillist, but this lambda calculus should use ocaml engine, so is
there anybody know how can I write this function?

Thanks!



-- 
Su Zhang
PHD Student
Computer Information and Science
Kansas State University
_______________________________________________
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

Reply via email to