From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <westlifezs@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=2.8 required=5.0 tests=DNS_FROM_RFC_POST,
	HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by yquem.inria.fr (Postfix) with ESMTP id 18060BBC4
	for <caml-list@yquem.inria.fr>; Sat, 21 Mar 2009 18:36:07 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AnADAJvCxElKfVwbkGdsb2JhbACCU5JdQQEBCQkTEQOuEoEHjmABAwEDg3sG
X-IronPort-AV: E=Sophos;i="4.38,400,1233529200"; 
   d="scan'208";a="22990122"
Received: from qw-out-2122.google.com ([74.125.92.27])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 21 Mar 2009 18:36:06 +0100
Received: by qw-out-2122.google.com with SMTP id 9so711640qwb.15
        for <caml-list@yquem.inria.fr>; Sat, 21 Mar 2009 10:36:05 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:received:date:message-id:subject
         :from:to:content-type;
        bh=6LNUz0RyxSL+0rLv2U3XUqT+JNRUifLPy73EOGSY7JQ=;
        b=ghy16+3TyEqbzoAdvI4Y+fu0s70EysvV4SeNo7eANRGQMc7ZuoVLxGeq35GcrMLv7r
         Ox7q/1m+E+6fUnMe19m/bq+NPaPdQW0vAF0ds5yXOdxMQYvC17J9m2EB0mcXOKArJHqA
         swIz39W7D68SP7+xj3VMxKA2kMnIMBuvqHZFM=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:date:message-id:subject:from:to:content-type;
        b=RS01IgzMgKFx5wQWJDwSSiBpvWClyuVzwcm/R7wpLP5M6Y/dGmOOWzIuFQ8UtaWWis
         CyexhzJbYADZ80XD6HDLmmY81KeyZzrJu2aS3i+aCjwoCEr51HVretHeTbdggf2dSUxz
         C/QFgfr7bqc0M35qvlAUIigda1nJ9fdpStzHA=
MIME-Version: 1.0
Received: by 10.229.85.17 with SMTP id m17mr2566293qcl.43.1237656965376; Sat, 
	21 Mar 2009 10:36:05 -0700 (PDT)
Date: Sat, 21 Mar 2009 12:36:05 -0500
Message-ID: <e2842950903211036p620f30bejdcd23ca6f3dbe800@mail.gmail.com>
Subject: calculating a remainder of two church number on lambda calculs with 
	ocaml
From: Su Zhang <westlifezs@gmail.com>
To: caml-list@yquem.inria.fr
Content-Type: multipart/alternative; boundary=0016364edf6ec66b290465a47709
X-Spam: no; 0.00; lambda:01 ocaml:01 ocaml:01 lambda:01 maillist:98 maillist:98 calculus:01 calculus:01 calculs:05 anybody:07 anybody:07 function:08 function:08 student:09 student:09 

--0016364edf6ec66b290465a47709
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit

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

--0016364edf6ec66b290465a47709
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div>Hi OCaml hackers,</div>
<div>=A0</div>
<div>I have a question about how can I write a function which can get the r=
emainder of two church numberials in lambda calculus. I know this is a ocam=
l maillist, but this lambda calculus should use ocaml engine, so is there a=
nybody know how can I write this function? </div>

<div>=A0</div>
<div>Thanks!</div>
<div>=A0</div>
<div><br clear=3D"all"><br>-- <br>Su Zhang<br>PHD Student <br>Computer Info=
rmation and Science<br>Kansas State University <br></div>

--0016364edf6ec66b290465a47709--