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