From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.6 required=5.0 tests=AWL,DNS_FROM_RFC_POST, 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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id B01E0BBAF for ; Wed, 25 Mar 2009 01:11:32 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgwCAHITyUnRVdmdimdsb2JhbACVKD8BAQEKCQwHDwWrMoEHj20BAwEDg3MG X-IronPort-AV: E=Sophos;i="4.38,415,1233529200"; d="scan'208";a="24918291" Received: from mail-gx0-f157.google.com ([209.85.217.157]) by mail3-smtp-sop.national.inria.fr with ESMTP; 25 Mar 2009 01:11:32 +0100 Received: by gxk1 with SMTP id 1so11179673gxk.9 for ; Tue, 24 Mar 2009 17:11:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:content-type :content-transfer-encoding; bh=3ayGPG+GZYimt13m6HmT9lqSnNEK0rBkCEqYer8b+uY=; b=hRbJpQeLs15tPiPJL1kEu/tpYp0Eyp1XGFowWjX0yanyQOmNAw0TM/ZwAOisi3Xj45 edRKrQjFgnxmNEktK7Nxr09xM+TIWrtKPOOYMu1FhceVUKxK9Gyut019DmCItWlRgfD1 l65uI1hKC9SDboHInhOClHxdQXGC8bJ5XxSQw= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type:content-transfer-encoding; b=clqseKoimF8zXrA3SWX4ekswg4mybly0156PNw4VVOmGLwsIlsXPNXYhF6pgR/Qm9d nkIrXBsBVAsH7JkImXL/9dvH+b2YiMqmGWkiKbB0RLzbaqgZn4H9AEfQWBrjmNpq2A0w 023hGC3DAsanTMK6Bh4ex0LdfiDGRQFNbjx+s= MIME-Version: 1.0 Received: by 10.151.84.1 with SMTP id m1mr15320062ybl.100.1237939889713; Tue, 24 Mar 2009 17:11:29 -0700 (PDT) In-Reply-To: <20090325000257.GA14880@annexia.org> References: <200903241007.n2OA7TQj025998@deby.inria.fr> <20090325000257.GA14880@annexia.org> Date: Tue, 24 Mar 2009 17:11:29 -0700 Message-ID: <91a2ba3e0903241711l3cc3aa89j2741b2172593467e@mail.gmail.com> Subject: Re: [Caml-list] First release of focalize, a development environment for high integrity programs. From: Raoul Duke To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ume:98 caml-list:01 tutorials:03 manual:06 docs:07 examples:07 ass:91 release:09 environment:10 similar:12 things:13 does:14 compare:15 fairly:15 furthermore:16 > Are there any examples / tutorials? I skimmed the reference manual > and it has to be said I found it fairly baffling. furthermore (i /am/ trying to get time to read the docs on the site :-), how does it compare to other things which i /ass/ume are in a similar 'space' e.g. SPARKAda etc. thanks!