From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id IAA20509; Sun, 27 Jul 2003 08:24:56 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id IAA12832 for ; Sun, 27 Jul 2003 08:24:55 +0200 (MET DST) Received: from relay.hoga.pl (res-61.hoga.pl [193.178.241.61] (may be forged)) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h6R6OsT07424 for ; Sun, 27 Jul 2003 08:24:54 +0200 (MET DST) Received: from mail pickup service by relay.hoga.pl with Microsoft SMTPSVC; Sun, 27 Jul 2003 08:20:30 +0200 thread-index: AcNUCCH+VtPuEEHIRhWJGwrBsSqNAA== Received: from ppp ([213.77.238.43]) by smtp.hoga.pl with InfocitySMTPReceiver (16.04.2002); Sun, 27 Jul 2003 08:27:19 +0200 Importance: normal Message-ID: <000501c35408$1d22d740$2bee4dd5@ppp> From: "Lukasz Stafiniak" To: References: <000701c353aa$c82ddb20$c617fea9@ppp> Subject: Re: [Caml-list] Dependent OCaml Date: Sun, 27 Jul 2003 08:26:29 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-2" Content-Transfer-Encoding: quoted-printable X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4133.2400 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4910.0300 X-OriginalArrivalTime: 27 Jul 2003 06:20:30.0093 (UTC) FILETIME=[2D793BD0:01C35407] X-Loop: caml-list@inria.fr X-Spam: no; 0.00; lukasz:01 caml-list:01 yli:99 dok:99 mks:99 ocaml:01 dependent:03 types:03 reasonably:04 type:07 www:91 reflected:09 i've:09 theory:11 done:16 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Sorry List, I've done it. I've reflected types in terms in OCaml. It shows that I need to learn a lot before I can reasonably speak about = type theory. Yours sincerely, Lukasz Uwaga! Do ko=F1ca sierpnia przed=B3u=BFyli=B6my promocje, do pakiet=F3w wielostanowiskowych dok=B3adamy PenDrive Sprawd=BC: http://www.mks.com.pl/promocja-mobile.html ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners