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 VAA07553; Sat, 26 Jul 2003 21:16:52 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 VAA08691 for ; Sat, 26 Jul 2003 21:16:51 +0200 (MET DST) Received: from relay.hoga.pl (res-61.hoga.pl [193.178.241.61] (may be forged)) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h6QJGof27396 for ; Sat, 26 Jul 2003 21:16:50 +0200 (MET DST) Received: from mail pickup service by relay.hoga.pl with Microsoft SMTPSVC; Sat, 26 Jul 2003 21:12:26 +0200 thread-index: AcNTqs3air7zXH1YRBqyM330FKYz6A== Received: from ppp ([213.77.238.79]) by smtp.hoga.pl with InfocitySMTPReceiver (16.04.2002); Sat, 26 Jul 2003 21:19:14 +0200 Importance: normal Message-ID: <000701c353aa$c82ddb20$c617fea9@ppp> From: "Lukasz Stafiniak" To: Subject: [Caml-list] Dependent OCaml Date: Sat, 26 Jul 2003 21:17:39 +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: 26 Jul 2003 19:12:26.0203 (UTC) FILETIME=[D99D02B0:01C353A9] X-Loop: caml-list@inria.fr X-Spam: no; 0.00; lukasz:01 yli:99 dok:99 mks:99 ocaml:01 coq:02 dependent:03 problem:07 solve:07 www:91 report:89 actually:11 don't:16 but:16 there:16 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi List, Is there / Will there ever be Denendent OCaml? I know there is Coq, but... Actually, I would like to have Dependent Meta OCaml. (After spending some more time on my problem, if I still don't solve it, = I will report why I need Dependent Meta OCaml.) Kindest Regards, 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