From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 8253FBBAF for ; Thu, 18 Feb 2010 09:58:07 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmcBAKuPfEvUnwckk2dsb2JhbACbBxUBAQEBBwsKCRMEH74ahGYE X-IronPort-AV: E=Sophos;i="4.49,496,1262559600"; d="scan'208";a="57218654" Received: from relay.ptn-ipout02.plus.net ([212.159.7.36]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Feb 2010 09:58:07 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvsEAGSQfEvUnw4U/2dsb2JhbACbB3S+GYRmBA Received: from pih-relay08.plus.net ([212.159.14.20]) by relay.ptn-ipout02.plus.net with ESMTP; 18 Feb 2010 08:58:06 +0000 Received: from [87.114.12.249] (helo=leper.local) by pih-relay08.plus.net with esmtp (Exim) id 1Ni2D0-0006wE-2M for caml-list@yquem.inria.fr; Thu, 18 Feb 2010 08:58:06 +0000 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Status of the OCaml Mathematical Framework Date: Thu, 18 Feb 2010 10:13:58 +0000 User-Agent: KMail/1.9.9 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <201002181013.58617.jon@ffconsultancy.com> X-Plusnet-Relay: 8ed6ad4efc62a4cb0b5ff22e7f615158 X-Spam: no; 0.00; ocaml:01 frog:98 sourceforge:01 mathematical:08 haven't:09 framework:11 promising:12 ltd:87 but:14 www:84 using:15 since:17 2007:81 released:18 project:18 This was a promising project from the Jane St Summer Projects 2007 that released a 0.1 but I haven't seen anything since: http://sourceforge.net/projects/ocaml-mf/ What is the current status of this project? Is anyone using it? -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e