Version française
Home     About     Download     Resources     Contact us    
Browse thread
calculating a remainder of two church number on lambda calculs with ocaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Su Zhang <westlifezs@g...>
Subject: calculating a remainder of two church number on lambda calculs with ocaml
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