From mboxrd@z Thu Jan  1 00:00:00 1970
From: Bastien <bzg@gnu.org>
Subject: Re: Escaping again!
Date: Fri, 30 May 2014 16:00:42 +0200
Message-ID: <87ha478iyd.fsf@bzg.ath.cx>
References: <CAJ+TeofJvKCYXJngDSH2WXDzs2SN0aAyGiv6P6WNDJHsg5QWwA@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:47593)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <bastienguerry@gmail.com>) id 1WqNMd-0000Rz-FU
	for emacs-orgmode@gnu.org; Fri, 30 May 2014 10:01:04 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <bastienguerry@gmail.com>) id 1WqNMU-0008BV-F2
	for emacs-orgmode@gnu.org; Fri, 30 May 2014 10:00:55 -0400
Received: from mail-wg0-x233.google.com ([2a00:1450:400c:c00::233]:44286)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <bastienguerry@gmail.com>) id 1WqNMU-0008BE-3P
	for emacs-orgmode@gnu.org; Fri, 30 May 2014 10:00:46 -0400
Received: by mail-wg0-f51.google.com with SMTP id x13so2036591wgg.22
	for <emacs-orgmode@gnu.org>; Fri, 30 May 2014 07:00:45 -0700 (PDT)
In-Reply-To: <CAJ+TeofJvKCYXJngDSH2WXDzs2SN0aAyGiv6P6WNDJHsg5QWwA@mail.gmail.com>
	(Rustom Mody's message of "Fri, 30 May 2014 19:03:24 +0530")
List-Id: "General discussions about Org-mode." <emacs-orgmode.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-orgmode>
List-Post: <mailto:emacs-orgmode@gnu.org>
List-Help: <mailto:emacs-orgmode-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=subscribe>
Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
To: Rustom Mody <rustompmody@gmail.com>
Cc: emacs-orgmode <emacs-orgmode@gnu.org>

Hi Rustom,

Rustom Mody <rustompmody@gmail.com> writes:

> - \(+\):: Int → Int → Int
> - \(-\):: Int → Int →Int
> - \(\leq\):: Int → Int → Bool
> - \(=\):: Int → Int → Bool

1. \(+\) :: Int → Int → Int
2. \(-\) :: Int → Int →Int
3. \(\leq\) :: Int → Int → Bool
4. \(=\) :: Int → Int → Bool

would do -- but this is not entirely satisfactory.

For now description lists accept both "-" and "+".  I'm all for
allowing only "-" so that we could use 

+ \(+\) :: Int → Int → Int
+ \(-\) :: Int → Int →Int
+ \(\leq\) :: Int → Int → Bool
+ \(=\) :: Int → Int → Bool

in your example.

What do you and others think?

-- 
 Bastien