From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <laurentlb@gmail.com>
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 50CB1BC57
	for <caml-list@yquem.inria.fr>; Sun, 14 Nov 2010 19:37:37 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AnABAFe730zRVdg0kGdsb2JhbACiUQgVAQEBAQkJDAcRAx+kNolgghiDZy6IWQEBAwWFRQSFEoVF
X-IronPort-AV: E=Sophos;i="4.59,196,1288566000"; 
   d="scan'208";a="78596743"
Received: from mail-qw0-f52.google.com ([209.85.216.52])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 14 Nov 2010 19:37:36 +0100
Received: by qwj8 with SMTP id 8so1396690qwj.39
        for <caml-list@yquem.inria.fr>; Sun, 14 Nov 2010 10:37:36 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:mime-version:received:in-reply-to
         :references:from:date:message-id:subject:to:cc:content-type
         :content-transfer-encoding;
        bh=BwZG7cPI4aNkW6HuT9c9IkK61mQro8YWB4V3X5dosLU=;
        b=qSHtFZ/c8tmnM+icy4T91FKEPURwJhmbf1qBGabLozTSkVyZq7Yc4jKPELqd+u9WxW
         6aLP+bmBavAmmf7LzIQixbHx3gnvjlpS3wJg3HyMkSQByCSe5uVzi0nJfcJKJF4ADeFb
         uM4UA/wNDEfffQMTW3MIweDvQBYURmDTNNmOs=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :cc:content-type:content-transfer-encoding;
        b=IQkBqo2uJdydn0nFkpElYTMFrbEpulthLKG8C52vefqG4s7c1shDmei5vRbioUWJbW
         eeVwfp3BXQ4/iKbd0e8jiXz3DR6D6eaAnV5CSsLFEm9XAnNuF9JjeM28+vvvet+dIyje
         dQ76Jj8w3XS9SKn7v76xUuRrMZtHDWXkjs+zE=
Received: by 10.229.182.79 with SMTP id cb15mr3877046qcb.173.1289759229630;
 Sun, 14 Nov 2010 10:27:09 -0800 (PST)
MIME-Version: 1.0
Received: by 10.229.212.14 with HTTP; Sun, 14 Nov 2010 10:26:49 -0800 (PST)
In-Reply-To: <1A29548F-5393-48FB-BA9A-FEB16AB0311D@wanadoo.fr>
References: <20101112114146.0ff88119@packard.rktmb.org> <AA7F578A-AFD4-4534-882F-E724A742C427@wanadoo.fr>
 <AANLkTin5+NoGL4nQMLE0On_foVuns7AL-ixqpNCrseuV@mail.gmail.com> <1A29548F-5393-48FB-BA9A-FEB16AB0311D@wanadoo.fr>
From: Laurent Le Brun <laurentlb@gmail.com>
Date: Sun, 14 Nov 2010 18:26:49 +0000
Message-ID: <AANLkTi=jTNtntQg-z=SMrVvg7x+TDFEdeOUcdb70jmfb@mail.gmail.com>
Subject: Re: [Caml-list] F# open sourced
To: Yoann Padioleau <padator@wanadoo.fr>
Cc: Mihamina Rakotomandimby <mihamina@gulfsat.mg>,
	caml-list@yquem.inria.fr
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Spam: no; 0.00; fsharp:01 mli:01 usr:01 lib:01 fsharp:01 emacs:01 wrote:01 caml-list:01 dll:02 seems:03 library:03 standard:07 release:09 i'm:09 equivalent:09 

On Sat, Nov 13, 2010 at 3:55 AM, Yoann Padioleau <padator@wanadoo.fr> wrote=
:
> I've downloaded mono and the fsharp package for the Mac and =A0'fsharpi' =
seems to work.
> Where are located the header files of the standard library ? (the equival=
ent of list.mli for instance).
> There is only .dll files in /usr/lib/fsharp/

Source code is not included in these packages. You can get the .fsi
files from the zip release at fsharp.net, or from the full source code
at fsharppowerpack.codeplex.com. However, you'll get a more complete
documentation online (see fsharp.net for links).

F# developers often rely on their editor for completion and
exploration. Monodevelop plugin for F# will be released in a few days
(and I'm working on F# Intellisense support in Emacs).

--=20
=A0 Laurent