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=0.0 required=5.0 tests=none 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 DB056BBC1 for ; Fri, 2 May 2008 17:11:29 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhICAFrMGkjAXQIniGdsb2JhbACRYwEBAQ8gmVI X-IronPort-AV: E=Sophos;i="4.27,427,1204498800"; d="scan'208";a="12191032" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 02 May 2008 17:11:21 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m42FBKQN020096 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 2 May 2008 17:11:21 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiUCAHbLGkjRVYTyc2dsb2JhbACRYwEMAwQECQ8FmU4 X-IronPort-AV: E=Sophos;i="4.27,427,1204498800"; d="scan'208";a="10323199" Received: from an-out-0708.google.com ([209.85.132.242]) by mail2-smtp-roc.national.inria.fr with ESMTP; 02 May 2008 17:11:20 +0200 Received: by an-out-0708.google.com with SMTP id d33so327572and.97 for ; Fri, 02 May 2008 08:11:19 -0700 (PDT) Received: by 10.100.12.1 with SMTP id 1mr4760432anl.35.1209741079241; Fri, 02 May 2008 08:11:19 -0700 (PDT) Received: by 10.100.174.13 with HTTP; Fri, 2 May 2008 08:11:19 -0700 (PDT) Message-ID: <3a360f590805020811q53855ecka594f876592608f0@mail.gmail.com> Date: Fri, 2 May 2008 11:11:19 -0400 From: "Hezekiah M. Carty" Sender: hcarty@mulethief.com To: "Alain Frisch" Subject: Re: [Caml-list] Should a /\ operator be possible? Cc: "Richard Jones" , caml-list@inria.fr In-Reply-To: <481ADD86.3000802@frisch.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20080501194149.GA30095@annexia.org> <20080501212023.GA373@annexia.org> <481ADD86.3000802@frisch.fr> X-Google-Sender-Auth: 24872b2f1606aa28 X-Miltered: at concorde with ID 481B2F18.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; frisch:01 frisch:01 wrote:01 caml-list:01 alain:01 alain:01 perhaps:05 fri:05 group:07 mathematical:08 symbols:09 shouldn't:10 university:10 research:12 idea:13 On Fri, May 2, 2008 at 5:23 AM, Alain Frisch wrote: > Shouldn't this desire of using mathematical symbols be addressed at the > level of your editor / IDE instead? Perhaps this idea should be presented to the ocamlwizard OSP group [1]? It may be something that they could integrate in to their IDE tools. Hez [1] - http://osp.janestcapital.com/wordpress/?p=22 -- Hezekiah M. Carty Graduate Research Assistant University of Maryland Department of Atmospheric and Oceanic Science