Browse thread
calculating a remainder of two church number on lambda calculs with ocaml
- Su Zhang
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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