From: Francois Rouaix <rouaix@madiran.inria.fr>
Date: Thu, 12 Dec 1996 13:13:54 +0100 [thread overview]
Message-ID: <199612121213.NAA03371@madiran.inria.fr> (raw)
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: multipart/mixed; boundary=">From rouaix@pauillac.inria.fr Thu Dec 12 12: 50:21 1996", Size: 1568 bytes --]
>From rouaix@pauillac.inria.fr Thu Dec 12 12: 50:21 1996
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA12994 for <webmaster@pauillac.inria.fr>; Thu, 12 Dec 1996 12:50:20 +0100 (MET)
Received: from siobhan.indigo.ie (siobhan.indigo.ie [194.125.133.15]) by concorde.inria.fr (8.7.6/8.7.1) with ESMTP id MAA19170 for <webmaster@pauillac.inria.fr>; Thu, 12 Dec 1996 12:50:16 +0100 (MET)
Received: from aoife.indigo.ie (aoife.indigo.ie [194.125.133.9])
by siobhan.indigo.ie (8.8.4/8.8.4/INDIGO-OUTGOING) with ESMTP
id LAA27496 for <webmaster@pauillac.inria.fr>; Thu, 12 Dec 1996 11:50:11 GMT
Received: from ts08-10.dublin.indigo.ie (ts08-10.dublin.indigo.ie [194.125.148.151]) by aoife.indigo.ie (8.7.5/8.7.5) with SMTP id LAA01235 for <webmaster@pauillac.inria.fr>; Thu, 12 Dec 1996 11:50:10 GMT
Message-Id: <199612121150.LAA01235@aoife.indigo.ie>
Date: Thu, 12 Dec 96 11:49:33 -0800
From: gsi <gsi@indigo.ie>
X-Mailer: Mozilla 1.22 (Windows; I; 16bit)
MIME-Version: 1.0
To: webmaster@pauillac.inria.fr
Subject: example program
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset=us-ascii
Resent-To: caml-list@pauillac
Resent-Date: Thu, 12 Dec 1996 13:13:54 +0100
Resent-From: Francois Rouaix <rouaix@madiran.inria.fr>
Avez vous une example pour ML programme qui transfer au Mu recursive
functions --> 1st Order Lamda calculus functions.
Merci,
Au revoir.
reply other threads:[~1996-12-12 15:39 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=199612121213.NAA03371@madiran.inria.fr \
--to=rouaix@madiran.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox